Hierarchy Modeling and Formal Verification of Emergency...

IEEE Transactions on Systems, Man, and Cybernetics: Systems 2014 / 02 Vol. 44; Iss. 2

Hierarchy Modeling and Formal Verification of Emergency Treatment Processes

Lu, Faming, Zeng, Qingtian, Bao, Yunxia, Duan, Hua
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
44
Language:
english
Journal:
IEEE Transactions on Systems, Man, and Cybernetics: Systems
DOI:
10.1109/tsmc.2013.2242465
Date:
February, 2014
File:
PDF, 1.32 MB
english, 2014
Conversion to is in progress
Conversion to is failed