Delay-dependent partial order reduction technique for real time systems - Archive ouverte HAL Access content directly
Journal Articles Real-Time Systems Year : 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
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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 View
30 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More