Verification on Evacuation of Flood Disaster by Using Gps: Case Study in Mabi, Japan 2018.
Takahiro YoshidaKei HiroiYoshiki YamagataDaisuke MurakamiPublished in: IGARSS (2019)
Keyphrases
- case study
- damage assessment
- model checking
- cellular automata
- simulation model
- gps data
- decision support system
- lessons learned
- multi agent
- software development
- global positioning system
- location based services
- multipath
- face verification
- disaster relief
- disaster response
- real world
- river basin
- united kingdom
- navigation systems
- emergency evacuation
- development process
- south korea
- neural network
- functional verification
- verification method
- asynchronous circuits
- disaster management
- climate change
- emergency response
- design process
- software engineering