Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction.
Thomas LambolaisAnne-Lise CourbisHong-Viet LuongThanh-Liem PhanPublished in: CSDM (2015)
Keyphrases
- complex systems
- dynamic systems
- multi agent systems
- manufacturing systems
- model checking
- mathematical models
- computational systems
- discrete event systems
- hardware designs
- steady state simulation
- industrial systems
- software development
- biological systems
- project management
- software systems
- technical systems
- software engineering
- evolutionary algorithm