C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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