Building Large, Complex, Distributed Safety-Critical Operating Systems.

Horst F. Wedde Jon A. Lind

Published in: Real Time Syst. (1997)

Keyphrases

operating system
safety critical
distributed systems
fault tolerant
computer systems
cooperative
virtual machine
safety analysis
formal methods
distributed environment
windows xp
multi tasking
real time
load balancing
peer to peer
software engineering
information systems
artificial intelligence
data mining