Skip to main navigation
Skip to search
Skip to main content
New Jersey Institute of Technology Home
Help & FAQ
Home
Profiles
Research units
Facilities
Federal Grants
Research output
Press/Media
Search by expertise, name or affiliation
Refinement-Based Hierarchical Modeling and Correctness Verification of Cross-Organization Collaborative Emergency Response Processes
Hua Duan
, Cong Liu
, Qingtian Zeng
,
Mengchu Zhou
Electrical and Computer Engineering
Research output
:
Contribution to journal
›
Article
›
peer-review
46
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Refinement-Based Hierarchical Modeling and Correctness Verification of Cross-Organization Collaborative Emergency Response Processes'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Collaboration Patterns
25%
Command Center
25%
Correctness Verification
100%
Cross-organization
100%
Effective Response
25%
Emergency Command
25%
Emergency Disposal
25%
Emergency Organization
25%
Emergency Response Process
100%
Fire Emergency Response
25%
Geographically Dispersed
25%
Hierarchical Modeling
100%
Level Model
100%
Levels of Abstraction
25%
Model Complex
25%
Modeling Verification
100%
Petri Nets
25%
Process Pattern
25%
Reachability Graph
25%
Refined Model
50%
Timely Responses
25%
Top Level
50%
Verification Approaches
25%
Computer Science
Collaboration Pattern
100%
Petri Net
100%
Reachability Graph
100%
Subordinate Organization
100%
Engineering
Abstraction Level
25%
Emergency Response
100%
Level Model
100%
Reachability
25%