Early Safety Analysis.

Tor Stålhane Thor Myklebust

Published in: XP Workshops (2016)

Keyphrases

safety analysis
nuclear power plant
control system
safety critical
symbolic model checking
fault model
fault tolerant
formal verification
artificial intelligence
decision making
expert systems
model checking
dynamical systems
dynamic systems