C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Analyzing static and temporal properties of simulation models.
Mamadou K. Traoré
Published in:
WSC (2006)
Keyphrases
</>
simulation models
temporal properties
simulation model
model checking
agent based simulation
simulation tools
possibility theory
formal methods
data assimilation
air cargo
knowledge acquisition