Login / Signup
Formal Verification of AADL Models by Event-B.
Abeer Saeed Abdo Hadad
Chunyan Ma
Adeeb Abdulwakeel Obadi Ahmed
Published in:
IEEE Access (2020)
Keyphrases
</>
formal verification
probabilistic model
experimental data
complex systems
model checking
neural network
prior knowledge
statistical models
metamodel
model checker