SAW: A Tool for Safety Analysis of Weakly-Hard Systems.

Chao Huang Kai-Chieh Chang Chung-Wei Lin Qi Zhu

Published in: CAV (1) (2020)

Keyphrases

safety analysis
safety critical
complex systems
nuclear power plant
control system
intelligent systems
distributed systems
condition monitoring