<  Retour au portail Polytechnique Montréal

DTChecker: A Real-Time Signal Monitoring and Property Specification Tool for Digital Twins

Abdelhamid Rouatbi, Eugene Syriani et Bentley Oakes

Communication écrite (2025)

Un lien externe est disponible pour ce document
Département: Département de génie informatique et génie logiciel
ISBN: 9798331579906
URL de PolyPublie: https://publications.polymtl.ca/70539/
Nom de la conférence: 28th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2025)
Lieu de la conférence: Grand Rapids, MI, USA
Date(s) de la conférence: 2025-10-05 - 2025-10-10
Maison d'édition: Institute of Electrical and Electronics Engineers
DOI: 10.1109/models-c68889.2025.00020
URL officielle: https://doi.org/10.1109/models-c68889.2025.00020
Date du dépôt: 16 déc. 2025 11:59
Dernière modification: 16 déc. 2025 11:59
Citer en APA 7: Rouatbi, A., Syriani, E., & Oakes, B. (octobre 2025). DTChecker: A Real-Time Signal Monitoring and Property Specification Tool for Digital Twins [Communication écrite]. 28th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2025), Grand Rapids, MI, USA. https://doi.org/10.1109/models-c68889.2025.00020

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document