Login / Signup

Formal Verification of AADL Models by Event-B.

Abeer Saeed Abdo HadadChunyan MaAdeeb 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