Open AccessModel-based diagnosis for avionics systems using minimal cuts
Author(s) -
Fabien Kuntz,
S Gaudan,
Christian Sannino,
Éric Laurent,
Alain Griffault,
Gérald Point
Publication year - 2011
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - avionics , life critical system , computer science , context (archaeology) , reliability engineering , set (abstract data type) , avionics software , model checking , engineering , software , algorithm , software quality , programming language , software development , aerospace engineering , paleontology , biology