Login / Signup

Formal Design and Safety Analysis of AIR6110 Wheel Brake System.

Marco BozzanoAlessandro CimattiAnthony Fernandes PiresDavid JonesGreg KimberlyT. PetriR. RobinsonStefano Tonetta
Published in: CAV (1) (2015)
Keyphrases
  • safety analysis
  • knowledge based systems
  • real time
  • user interface
  • expert systems
  • software architecture
  • modeling language
  • fault model