Operational Safety Critical Software Methods in Railways.

G. Guiho F. Mejia

Published in: IFIP Congress (3) (1994)

Keyphrases

health monitoring
safety critical
real time
object oriented
formal methods
safety analysis
expert systems
software engineering