Bogdan Nicolescu, Nicolas Gorse, Yvon Savaria
, El Mostapha Aboulhamid, Raoul Velazco
Article de revue (2005)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
Adresse URL de PolyPublie:
Titre de la revue
:
IEEE Transactions on Nuclear Science
(
vol.
52
,
no
5
)
Maison d'édition:
IEEE
URL officielle:
OAI:
oai:publications.polymtl.ca:23819
ORCID
Date du dépôt:
18 avr. 2023 15:18
Dernière modification:
08 oct. 2026 17:23
Citer en 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
Statistiques
Dimensions
