Communication channels in safety analysis: An industrial exploratory case study.

Yang Wang Daniel Graziotin Stefan Kriso Stefan Wagner

Published in: J. Syst. Softw. (2019)

Keyphrases

communication channels
safety analysis
case study
nuclear power plant
safety critical
control system
fault model
symbolic model checking
software development
development process
agent architecture
expert systems
fault tolerant
learning environment
condition monitoring
reliability analysis
real time