Hazard analysis for safety-critical systems using SOFL.

Azma binti Abdullah Shaoying Liu

Published in: CIES (2013)

Keyphrases

safety critical
safety analysis
formal methods
nuclear power plant
embedded systems
agent architecture
support systems
expert systems
control system
knowledge acquisition
learning styles
fault tolerant
adaptive systems