Formal Methods for Enhanced Natural Disaster Management.
Moez KrichenMohammed Yahya AlzahraniPublished in: AICCSA (2023)
Keyphrases
- formal methods
- disaster management
- environmental monitoring
- natural disasters
- early warning
- homeland security
- information sharing
- knowledge based systems
- software engineering
- decision support system
- formal specification
- model checking
- emergency response
- semantic technologies
- artificial intelligence
- real world
- emergency management
- human resources
- wireless sensor networks
- expert systems
- modeling language
- decision making