Login / Signup
Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B.
Sanaz Yeganefard
Michael J. Butler
Abdolbaghi Rezazadeh
Published in:
NASA Formal Methods (2010)
Keyphrases
</>
control system
evaluation metrics
data sets
expert systems
mathematical model
formal model
hardware and software
control method
fuzzy control
formal methods