Checking models based on an iterative co-specification process of a critical system.

Fabien Bouffaron Pascale Marange Gérard Morel

Published in: INDIN (2014)

Keyphrases

process model
probabilistic model
data mining
high level
statistical models
conceptual model
metamodel
interaction model
machine learning
artificial intelligence
search engine
development process
feedback loop