Login / Signup
Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems.
Mounia Elqortobi
Warda El-Khouly
Amine Rahj
Jamal Bentahar
Rachida Dssouli
Published in:
MEDI Workshops (2018)
Keyphrases
</>
safety critical
formal methods
safety analysis
fault tolerant
model checking
embedded systems
support systems
formal verification
nuclear power plant
agent architecture
software intensive systems
learning environment
cooperative
expert systems
intelligent systems