Safe Ada Executive: An Executive for Ada Safety Critical Applications.

Marc Richard-Foy

Published in: Ada-Europe (1995)

Keyphrases

safety critical
formal methods
fault tolerant
nuclear power plant
embedded systems
safety analysis
regulatory requirements
real time
knowledge base
clinical practice