No edit summary |
|||
| Line 1: | Line 1: | ||
{{DISPLAYTITLE:ABZ 2014 Case Study}} | {{DISPLAYTITLE:ABZ 2014 Case Study}} | ||
__NOTOC__ | __NOTOC__ | ||
This page | |||
=== BMotion Studio Visualization === | === BMotion Studio Visualization === | ||
| Line 6: | Line 8: | ||
=== Ressources === | === Ressources === | ||
* [[Media:ABZ14_Paper.pdf|Case Study Paper]] | |||
* [[Media:LandingGear.zip|Landing Gear Model EventB Model]] | * [[Media:LandingGear.zip|Landing Gear Model EventB Model]] | ||
This page
{{#ev:youtube|wFr_pEjbpqo|640}}