|
Volumn , Issue , 2004, Pages
|
Development of safety-critical software using automatic code generation
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ACCIDENT PREVENTION;
AEROSPACE INDUSTRY;
AUTOMOBILE ELECTRONIC EQUIPMENT;
CODES (SYMBOLS);
COST REDUCTION;
PROGRAM COMPILERS;
SECURITY SYSTEMS;
SOFTWARE DESIGN;
SYSTEMS ANALYSIS;
TECHNOLOGY TRANSFER;
AUTOMATIC CODE GENERATIONS;
AUTOMATIC CODE GENERATORS;
AUTOMOTIVE ELECTRONIC SYSTEMS;
CODE GENERATORS;
ELECTRONIC SYSTEMS;
HYDRAULIC COMPONENTS;
SAFETY CRITICAL SOFTWARE;
SAFETY CRITICAL SYSTEMS;
AUTOMATIC PROGRAMMING;
|
EID: 85072444682
PISSN: 01487191
EISSN: 26883627
Source Type: Journal
DOI: 10.4271/2004-01-0708 Document Type: Conference Paper |
Times cited : (24)
|
References (9)
|