The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System.

William Leal Micah McCreery Daniel Faria

Published in: SSS (2011)

Keyphrases

safety critical
fuel cell
safety analysis
fault tolerant
fault detection
formal methods
nuclear power plant
embedded systems
agent architecture
support systems
adaptive systems
regulatory requirements
fault diagnosis
data mining
information systems
patient care