Login / Signup

Designing Critical Systems Using Hierarchical STPA and Event-B.

Asieh Salehi FathabadiColin F. SnookDana DghaymThai Son HoangFahad AlotaibiMichael J. Butler
Published in: ABZ (2023)
Keyphrases
  • artificial intelligence
  • computer systems
  • knowledge based systems
  • databases
  • management system
  • distributed systems
  • learning systems
  • bayesian networks
  • artificial neural networks
  • spatio temporal