Login / Signup
Complementarity between simulation and formal verification transformation of PROMELA models into FDDEVS models: Application to a case study.
Aznam Yacoub
Maâmar El-Amine Hamri
Claudia S. Frydman
Published in:
SIMULTECH (2014)
Keyphrases
</>
probabilistic model
formal verification
information retrieval
model selection
parameter estimation
complex systems
experimental data
statistical models
mathematical models
simulation models