HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Delay-dependent partial order reduction technique for real time systems

Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02475811
Contributor : Kamel Barkaoui Connect in order to contact the contributor
Submitted on : Monday, March 7, 2022 - 5:31:32 PM
Last modification on : Monday, March 14, 2022 - 7:44:14 AM

File

RealTImeSystemPartialOrder.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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

Share

Metrics

Record views

23

Files downloads

2