Developing high assurance avionics systems with the SCR requirements method

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 1, Issue , 2000, Pages

  Bharadwaj, R ^a   Heitmeyer, C ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIR TRAFFIC CONTROL; COLLISION AVOIDANCE; COMPUTER CONTROL SYSTEMS; COMPUTER HARDWARE; COMPUTER SOFTWARE;

HIGH ASSURANCE AVIONICS SYSTEMS; SOFTWARE COST REDUCTION (SCR) PROCESS;

AVIONICS;

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

References (8)