Time Performance Formal Evaluation of Complex Systems.
Valdivino Alexandre de Santiago Jr.Sofiène TaharPublished in: SBMF (2015)
Keyphrases
- software engineering
- complex systems
- formal evaluation
- dynamic systems
- multi agent systems
- artificial intelligence
- steady state simulation
- biological systems
- mathematical models
- computer assisted language learning
- technical systems
- discrete event systems
- physical systems
- agent based models
- agent based modeling
- emergent behavior
- case study
- information retrieval