Login / Signup
Towards the Strengthening of Capella Modeling Semantics by Integrating Event-B: A Rigorous Model-Based Approach for Safety-Critical Systems.
Khaoula Bouba
Abderrahim Ait Wakrime
Yassine Ouhammou
Rédouane Benaini
Published in:
MEDI (2022)
Keyphrases
</>
safety critical
management system
safety analysis
expert systems
formal methods
real time
information systems
knowledge base
learning environment
low cost
distributed systems
knowledge acquisition
domain independent
finite state machines
specification language