Login / Signup
SAW: A Tool for Safety Analysis of Weakly-hard Systems.
Chao Huang
Kai-Chieh Chang
Chung-Wei Lin
Qi Zhu
Published in:
CoRR (2020)
Keyphrases
</>
safety analysis
safety critical
nuclear power plant
artificial intelligence
distributed systems
knowledge base
fault model