Qualification of safety-critical systems in TVO nuclear power plants.

Juha Halminen Risto Nevalainen

Published in: Softw. Process. Improv. Pract. (2007)

Keyphrases

safety critical
nuclear power plant
formal methods
safety analysis
embedded systems
fault tolerant
agent architecture
support systems
adaptive systems
knowledge based systems
health care
real time
open source
low cost
case based reasoning
management system
learning process