Simulation and Verification of Asynchronous Systems by means of a Synchronous Model.
Nicolas HalbwachsLouis MandelPublished in: ACSD (2006)
Keyphrases
- computational model
- mathematical model
- management system
- analytical model
- high level
- simulation model
- formal model
- asynchronous circuits
- simulation models
- parameter estimation
- statistical model
- mathematical models
- queuing network
- agent based modeling
- simulation data
- monte carlo simulation
- neural network model
- theoretical framework
- computer systems
- distributed systems
- multi agent systems
- objective function
- bayesian networks