SpecTRM: A CAD system for digital automation

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 1, Issue , 1998, Pages

  Leveson, Nancy G ^a   Reese, Jon Damon ^a   Heimdahl, Mats P E ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; AUTOMATION; COMPUTER AIDED DESIGN; DECISION MAKING; DECISION SUPPORT SYSTEMS; REQUIREMENTS ENGINEERING;

DIGITAL AUTOMATION;

SYSTEMS ENGINEERING;

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

References (3)