<  Back to the Polytechnique Montréal portal

Validating a dynamic signature monitoring approach using the LTL model checking technique

B. Nicolescu, N. Gorse, Yvon Savaria, E. M. Aboulhamid and R. Velazco

Paper (2004)

This item is not archived in PolyPublie
Department: Department of Electrical Engineering
PolyPublie URL: https://publications.polymtl.ca/24766/
Conference Title: Workshop on Radiation Effects on Components and Systems (RADECS 2004)
Conference Location: Madrid, Espagne
Conference Date(s): 2004-09-22 - 2004-09-24
Date Deposited: 18 Apr 2023 15:19
Last Modified: 25 Sep 2024 16:04
Cite in APA 7: Nicolescu, B., Gorse, N., Savaria, Y., Aboulhamid, E. M., & Velazco, R. (2004, September). Validating a dynamic signature monitoring approach using the LTL model checking technique [Paper]. Workshop on Radiation Effects on Components and Systems (RADECS 2004), Madrid, Espagne.

Statistics

Stats are not available on this system.

Repository Staff Only

View Item View Item