Formalizing process scheduling requirements for an aircraft operational flight program

Proceedings of the International Conference on Formal Engineering Methods, ICFEM

Volumn , Issue , 1997, Pages 161-168

  Dong, Jin Song ^a   Fulton, Neale ^a   Zucconi, Lin ^a   Colton, John ^a  

^a CSIRO   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

AIR TRAFFIC CONTROL; AVIATION; COMPUTER CONTROL; COMPUTER HARDWARE DESCRIPTION LANGUAGES; OBJECT ORIENTED PROGRAMMING; PARALLEL PROCESSING SYSTEMS; REAL TIME SYSTEMS;

AIRCRAFT OPERATIONAL FLIGHT PROGRAM (OFP); FORMAL OBJECT MODELING; REAL TIME SPECIFICATIONS;

FORMAL LOGIC;

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

References (20)