Login / Signup
Toward an integrated framework for the simulation, formal analysis and enactment of discrete events systems models.
Hamzat Olanrewaju Aliyu
Mamadou Kaba Traoré
Published in:
WSC (2015)
Keyphrases
</>
formal analysis
mathematical models
complex systems
simulation models
formal methods
management system
agent model
biological systems
multi agent systems
physical systems
machine learning
expert systems
computer systems
mathematical model
simulation model
continuous variables