Login / Signup
A model-based trace testing approach for validation of formal co-simulation models.
Adisak Intana
Michael R. Poppleton
Geoff V. Merrett
Published in:
SpringSim (TMS-DEVS) (2015)
Keyphrases
</>
simulation models
simulation model
simulation tools
agent based simulation
air cargo
data assimilation
data driven
formal model
formal specification
software testing
model based testing
fully unsupervised
formal methods
execution traces
data sets
fault tolerant
information retrieval