PARAGON: A paradigm for the specification, verification and testing of real-time systems

IEEE Aerospace Applications Conference Proceedings

Volumn 2, Issue , 1997, Pages 469-488

  Ben Abdallah, Hanene ^a   Clarke, Duncan ^a   Lee, Insup ^a   Sokolsky, Oleg ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER AIDED DESIGN; COMPUTER ARCHITECTURE; COMPUTER GRAPHICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; CONTROL SYSTEM ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; HIERARCHICAL SYSTEMS; INTERACTIVE COMPUTER SYSTEMS;

HIERARCHICAL DESIGN; INTERACTIVE SIMULATION; MODULAR DESIGN;

REAL TIME SYSTEMS;

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

References (29)