Agile Safety Analysis.

Tor Stålhane Thor Myklebust

Published in: ACM SIGSOFT Softw. Eng. Notes (2016)

Keyphrases

safety analysis
nuclear power plant
safety critical
control system
fault model
symbolic model checking
software development
development process
fault tolerant
real time
reliability analysis
expert systems
dynamic programming