![](/img/cover-not-exists.png)
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, JianliVolume:
58
Language:
english
Journal:
IEEE Transactions on Nuclear Science
DOI:
10.1109/tns.2010.2100047
Date:
February, 2011
File:
PDF, 46 KB
english, 2011