Similar Items: Formal and computational modeling of anticipation mechanisms of resilience in the complex sociotechnical air transport system
- Formal approach to model complex adaptive computing systems
- Formal modeling of a complex adaptive air traffic control system
- Physical, numerical, and computational challenges of modeling neutrino transport in core-collapse supernovae
- The Anticipated Acceptance of Virtual Reality for Physical Activity with Special Consideration of a Self-Built Low-Cost Setup
- A formal specification framework for smart grid components
- Computational methods for collisional stellar systems