Login / Signup
Model-based system engineering using SysML: Deriving executable simulation models with QVT.
George-Dimitrios Kapos
Vassilis Dalakas
Anargyros Tsadimas
Mara Nikolaidou
Dimosthenis Anagnostopoulos
Published in:
SysCon (2014)
Keyphrases
</>
simulation models
simulation model
agent based simulation
simulation tools
artificial intelligence
computer science
formal methods
engineering design
air cargo
engineering problems
data driven
software engineering
formal specification
design process
data assimilation