<  Retour au portail Polytechnique Montréal

Delay-dependent partial order reduction technique for real time systems

Hanifa Boucheneb et Kamel Barkaoui

Article de revue (2018)

Un lien externe est disponible pour ce document
Département: Département de génie informatique et génie logiciel
URL de PolyPublie: https://publications.polymtl.ca/39010/
Titre de la revue: Real-Time Systems (vol. 54, no 2)
Maison d'édition: Springer
DOI: 10.1007/s11241-017-9297-0
URL officielle: https://doi.org/10.1007/s11241-017-9297-0
Date du dépôt: 18 avr. 2023 15:02
Dernière modification: 25 sept. 2024 16:23
Citer en APA 7: Boucheneb, H., & Barkaoui, K. (2018). Delay-dependent partial order reduction technique for real time systems. Real-Time Systems, 54(2), 278-306. https://doi.org/10.1007/s11241-017-9297-0

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document