Login / Signup
Integrated Safety Analysis of Requirements Specifications.
Francesmary Modugno
Nancy G. Leveson
Jon Damon Reese
Kurt Partridge
Sean D. Sandys
Published in:
Requir. Eng. (1997)
Keyphrases
</>
safety analysis
nuclear power plant
control system
safety critical
symbolic model checking
fault model
model checking
model checker
knowledge base
formal specification
reinforcement learning
expert systems
specification language