Formal Requirements-Based Programming for Complex Systems.
James L. RashMichael G. HincheyChristopher A. RouffDenis GracaninPublished in: ICECCS (2005)
Keyphrases
- complex systems
- dynamic systems
- discrete event systems
- mathematical models
- programming language
- physical systems
- manufacturing systems
- multi agent systems
- technical systems
- agent based modeling
- discrete event
- biological systems
- industrial systems
- steady state simulation
- computational systems
- reactive systems
- model based diagnosis
- fuzzy cognitive maps
- neural network
- qualitative and quantitative
- intelligent systems
- cooperative
- artificial intelligence