Refinement-Based Hierarchical Modeling and Correctness Verification of Cross-Organization Collaborative Emergency Response Processes

Hua Duan, Cong Liu 0012, Qingtian Zeng, MengChu Zhou. Refinement-Based Hierarchical Modeling and Correctness Verification of Cross-Organization Collaborative Emergency Response Processes. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 50(8):2845-2859, 2020. [doi]

Abstract

Abstract is missing.