Similar Items: Formal approach to model complex adaptive computing systems
- Formal modeling of a complex adaptive air traffic control system
- Formal and computational modeling of anticipation mechanisms of resilience in the complex sociotechnical air transport system
- Computational approaches to modeling dynamos in galaxies
- An Adaptation Mechanism of Model Reference Adaptive System Based on Variable Structure Control for Online Parameter Estimation of IPMSM
- A three-phase decision making approach for self-adaptive systems using web services
- A formal specification framework for smart grid components