Login / Signup
A methodology for formal analysis and verification of EAST-ADL models.
Eun-Young Kang
Eduard Paul Enoiu
Raluca Marinescu
Cristina Cerschi Seceleanu
Pierre-Yves Schobbens
Paul Pettersson
Published in:
Reliab. Eng. Syst. Saf. (2013)
Keyphrases
</>
formal analysis
statistical models
formal methods
complex systems
experimental data
neural network
machine learning
artificial intelligence
expert systems
probabilistic model
model selection
statistical methods
computational models
agent model