Validation of Temporal Simulation Models of Complex Real-Time Systems.
Farhang NematiJohan KraftChrister NorströmPublished in: COMPSAC (2008)
Keyphrases
- real time systems
- simulation models
- simulation model
- real time
- agent based simulation
- distributed systems
- embedded systems
- simulation tools
- case study
- temporal information
- distributed databases
- temporal databases
- temporal constraints
- object oriented programming language
- air cargo
- data assimilation
- high level
- artificial intelligence