Techniques for Safety Critical Software Develoopment.

James D. Kiper Brent Auernheimer Charles K. Ames

Published in: HICSS (5) (1997)

Keyphrases

safety critical
formal methods
embedded systems
fault tolerant
safety analysis
nuclear power plant
agent architecture
support systems
artificial intelligence
adaptive systems
case based reasoning
low cost
regulatory requirements
data mining
cooperative
multi agent systems