C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Modelling, formal refinement and partitioning strategies for a small aircraft fuel pump system in Hybrid Event-B.
Richard Banach
Published in:
Sci. Comput. Program. (2018)
Keyphrases
</>
fuel injection
high pressure
event detection
search strategies
unit commitment
database
formal model
hybrid learning
event sequences
formal representation
partitioning algorithm