Refinement-Based Hierarchical Modeling and Correctness Verification of Cross-Organization Collaborative Emergency Response Processes.
Hua DuanCong LiuQingtian ZengMengchu ZhouPublished in: IEEE Trans. Syst. Man Cybern. Syst. (2020)
Keyphrases
- emergency response
- inter organizational
- information sharing
- knowledge sharing
- homeland security
- decision support
- decision makers
- distribution systems
- public safety
- decision making
- situational awareness
- information systems
- socio technical
- emergency medical services
- business processes
- information exchange
- public sector
- emergency services
- emergency evacuation
- virtual organization
- emergency management
- collaborative learning
- knowledge intensive
- business environment
- cost effective
- information flows
- knowledge discovery