Specifying the mode logic of a Flight Guidance System in CoRE and SCR

Proceedings of the Workshop on Formal Methods in Software Practice

Volumn , Issue , 1998, Pages 44-53

  Miller, Steven P ^a  

^a ROCKWELL COLLINS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AVIONICS; FLIGHT DYNAMICS; FORMAL LOGIC;

FLIGHT GUIDANCE SYSTEMS; FORMAL METHODS; FORMAL SPECIFICATIONS; REQUIREMENTS ENGINEERING;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0031653430     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/298595.298856     Document Type: Conference Paper

References (19)