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
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
44
Langue:
english
Journal:
IEEE Transactions on Systems, Man, and Cybernetics: Systems
DOI:
10.1109/tsmc.2013.2242465
Date:
February, 2014
Fichier:
PDF, 1.32 MB
english, 2014
La conversion en est effectuée
La conversion en a échoué