 | Monter d'un niveau |
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. Lien externe
