C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B.
Richard Banach
Published in:
TASE (2016)
Keyphrases
</>
small number
event detection
mathematical model
formal model
power plant
optimal design
formal methods
high pressure