<  Back to the Polytechnique Montréal portal

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: 15 Apr 2024 16:54
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

Statistics

Dimensions

Repository Staff Only

View Item View Item