Emulation-Based ICT System Resiliency Verification for Disaster Situations.
Shingo YasudaKunio AkashiToshiyuki MiyachiRazvan BeuranYoshiki MakinoTomoya InoueShinsuke MiwaYoichi ShinodaPublished in: SITIS (2013)
Keyphrases
- disaster recovery
- information and communication technologies
- model checking
- decision support system
- real world
- st century
- face verification
- emergency response
- disaster relief
- verification method
- digital divide
- socio economic
- information and communications technologies
- database
- information and communications technology
- damage assessment
- formal verification
- signature verification
- south africa
- cost effective
- knowledge management