Building large, complex, distributed safety-critical operating systems

Real-Time Systems

Volumn 13, Issue 3, 1997, Pages 277-302

  Wedde, Horst F ^a   Lind, Jon A ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; ADAPTIVE CONTROL SYSTEMS; COMPUTER OPERATING SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; DISTRIBUTED DATABASE SYSTEMS; FORMAL LOGIC; STORAGE ALLOCATION (COMPUTER);

PERFORMANCE DRIVEN DESIGN; SAFETY CRITICAL SYSTEMS;

REAL TIME SYSTEMS;

EID: 0031281630     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1007915628098     Document Type: Article

References (12)