Formal verification with HiLLS-specified models: A further step in multi-analysis modeling of complex systems.
Kehinde G. SamuelOumar MaïgaMamadou K. TraoréPublished in: Int. J. Model. Simul. Sci. Comput. (2019)
Keyphrases
- complex systems
- formal verification
- agent based models
- dynamic systems
- mathematical models
- physical systems
- fuzzy cognitive maps
- model validation
- biological systems
- steady state simulation
- discrete event systems
- model checking
- multi agent systems
- agent based modelling
- mathematical modeling
- agent based modeling
- complex adaptive systems
- emergent behavior
- industrial systems
- social networks