Login / Signup
Formal Design and Safety Analysis of AIR6110 Wheel Brake System.
Marco Bozzano
Alessandro Cimatti
Anthony Fernandes Pires
David Jones
Greg Kimberly
T. Petri
R. Robinson
Stefano Tonetta
Published in:
CAV (1) (2015)
Keyphrases
</>
safety analysis
knowledge based systems
real time
user interface
expert systems
software architecture
modeling language
fault model