Delay-dependent partial order reduction technique for real time systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Real-Time Systems Année : 2018

Delay-dependent partial order reduction technique for real time systems

Fichier principal
Vignette du fichier
RealTImeSystemPartialOrder.pdf (197.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02475811 , version 1 (07-03-2022)

Identifiants

Citer

Hanifa Boucheneb, Kamel Barkaoui. Delay-dependent partial order reduction technique for real time systems. Real-Time Systems, 2018, 54 (2), pp.278-306. ⟨10.1007/s11241-017-9297-0⟩. ⟨hal-02475811⟩
44 Consultations
23 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More