Simulation and verification I: design environments for complex systems.
Corrado PriamiPublished in: WSC (2003)
Keyphrases
- complex systems
- dynamic systems
- technical systems
- emergent behavior
- mathematical models
- complex adaptive systems
- steady state simulation
- formal verification
- discrete event systems
- manufacturing systems
- simulation model
- agent based models
- multi agent systems
- discrete event
- artificial intelligence
- multi disciplinary
- biological systems
- computational systems
- scale free networks
- agent based modelling
- cooperative