Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques.

A. Tankeu-Choitat, David Navarre, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, Camille Fayollas

Browse the full PRDC paper archive.