A Case Study in Safety-Critical Design.

Published in: CAV (1992)

Keyphrases

safety critical
embedded systems
formal methods
case study
fault tolerant
real time
information systems
support systems
databases
software engineering
intelligent agents