Specifying Complex Systems in Object-Z: A Case Study of Petrol Supply Systems.
Yangping LiXiaoheng PanTianming HuSam Yuan SungHuaqiang YuanPublished in: J. Softw. (2014)
Keyphrases
- complex systems
- dynamic systems
- computational systems
- mathematical models
- physical systems
- technical systems
- discrete event systems
- biological systems
- industrial systems
- manufacturing systems
- case study
- steady state simulation
- multi agent systems
- distributed systems
- evolutionary algorithm
- expert systems
- complex adaptive systems
- artificial intelligence
- complex biological systems