Safety Analysis of Hawk in Flight Monitor.

Liz Whiting Mike Hill

Published in: PASTE (1999)

Keyphrases

safety analysis
safety critical
nuclear power plant
control system
symbolic model checking
fault model
real time
monitoring system
fault tolerant
artificial intelligence