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

Hanifa Boucheneb 1 Kamel Barkaoui 2, 3
1 VeriForm - Laboratoire VeriForm - Department of Computer Engineering
2 CEDRIC - Centre d'études et de recherche en informatique et communications
3 CEDRIC - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
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

Vignette du document
RealTImeSystemPartialOrder.pdf
Files produced by the author(s)

Identifiers

Collections

CNAM | TDS-MACS | UNIV-HESAM | CEDRIC-CNAM

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

23

Files downloads

2