Login / Signup
Modeling a Landing Gear System in Event-B.
Amel Mammar
Régine Laleau
Published in:
ABZ (Case Study) (2014)
Keyphrases
</>
real time
database
real world
decision trees
three dimensional