|
Volumn 42, Issue 8, 2004, Pages 26-27
|
Safety-critical software for aerospace systems
|
Author keywords
[No Author keywords available]
|
Indexed keywords
AEROSPACE INDUSTRY;
AVIONICS;
BINARY CODES;
COMPUTER SIMULATION;
COSTS;
EMBEDDED SYSTEMS;
ERROR ANALYSIS;
GRAPHICAL USER INTERFACES;
INTERFACES (COMPUTER);
SEMANTICS;
SOFTWARE ENGINEERING;
STANDARDS;
AT&T BELL LABS (C0);
BERTIN (CO);
BINARY DECISION DIAGRAM (BDD);
JOINT AVIATION INDUSTRY (JAA);
SAFETY CRITICAL APPLICATION DEVELOPMENT ENVIRONMENT (SCADE);
COMPUTER SOFTWARE;
|
EID: 16444384833
PISSN: 0740722X
EISSN: None
Source Type: Trade Journal
DOI: None Document Type: Short Survey |
Times cited : (4)
|
References (0)
|