A Note on “On the Use of Model Checking for the...

IEEE Transactions on Nuclear Science 2011 / 02 Vol. 58; Iss. 1

A Note on “On the Use of Model Checking for the Verification of a Dynamic Signature Monitoring Approach” [Oct 05 1555-1561]

Tan, Lanfang, Tan, Qingping, Xu, Jianjun, Li, Jianli
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:
58
Language:
english
Journal:
IEEE Transactions on Nuclear Science
DOI:
10.1109/tns.2010.2100047
Date:
February, 2011
File:
PDF, 46 KB
english, 2011
Conversion to is in progress
Conversion to is failed