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 metadatas
https://hal.archives-ouvertes.fr/hal-02475811
Contributor : Kamel Barkaoui <>
Submitted on : Wednesday, February 12, 2020 - 12:00:33 PM
Last modification on : Friday, February 14, 2020 - 1:27:53 AM

Identifiers

Collections

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

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

Share

Metrics

Record views

5

Contact

Informations

CCSD