Login / Signup

Dynamic Fault Tree Analysis and Risk Mitigation Strategies of Data Communication System via Statistical Model Checking.

Ashkan SamadiMarwan AmmarOtmane Aït Mohamed
Published in: NEWCAS (2021)
Keyphrases
  • model checking
  • data analysis
  • temporal logic
  • computer aided
  • data mining
  • expert systems
  • state space
  • formal verification
  • model checker