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⟩
47 Consultations
30 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More