Checking SysML Models for Co-simulation.

Nuno Amálio Richard John Payne Ana Cavalcanti Jim Woodcock

Published in: ICFEM (2016)

Keyphrases

statistical models
simulation models
databases
mathematical models
model selection
complex systems
artificial intelligence
probabilistic model
np complete
mathematical model
classification models
modeling language
formal methods