Making formal methods practical

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 1, Issue , 2000, Pages

  Zimmerman, Marc ^a   Rodriguez, Mario ^a   Ingram, Benjamin ^a   Katahira, Masafumi ^a   de Villepin, Maxime ^a   Leveson, Nancy ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FLIGHT SIMULATORS; FORMAL LANGUAGES; HUMAN COMPUTER INTERACTION;

FLIGHT CONTROL SYSTEMS;

AVIONICS;

EID: 0034481602     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (3)