On the Use of Model Checking for the Verification of a Dynamic Signature Monitoring Approach

Bogdan Nicolescu, Nicolas Gorse, Yvon Savaria, El Mostapha Aboulhamid and Raoul Velazco

Article (2005)

An external link is available for this item

Department:	Department of Electrical Engineering
PolyPublie URL:	https://publications.polymtl.ca/23819/
Journal Title:	IEEE Transactions on Nuclear Science (vol. 52, no. 5)
Publisher:	IEEE
DOI:	10.1109/tns.2005.855819
Official URL:	https://doi.org/10.1109/tns.2005.855819
Date Deposited:	18 Apr 2023 15:18
Last Modified:	08 Apr 2025 02:12

Cite in APA 7:	Nicolescu, B., Gorse, N., Savaria, Y., Aboulhamid, E. M., & Velazco, R. (2005). On the Use of Model Checking for the Verification of a Dynamic Signature Monitoring Approach. IEEE Transactions on Nuclear Science, 52(5), 1555-1561. https://doi.org/10.1109/tns.2005.855819
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Simple Metadata

Statistics

Repository Staff Only