132
Voted
SAFECOMP
1999
Springer
15 years 7 months ago
1999
Springer
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...