Delay-dependent partial order reduction technique for real time systems

Hanifa Boucheneb, Kamel Barkaoui

Article de revue (2018)

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Adresse URL de PolyPublie:
Titre de la revue :
Real-Time Systems ( vol. 54 , no 2 )
Maison d'édition:
Springer
OAI:
oai:publications.polymtl.ca:39010
ORCID
Date du dépôt:
18 avr. 2023 15:02
Dernière modification:
14 oct. 2026 13:30
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