Delay-dependent partial order reduction technique for real time systems - Archive ouverte HAL
Article Dans Une Revue Real-Time Systems Année : 2018

Delay-dependent partial order reduction technique for real time systems

Domaines

Informatique [cs] Modélisation et simulation
Fichier principal
Vignette du fichier
RealTImeSystemPartialOrder.pdf (197.73 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Kamel BARKAOUI  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02475811

Soumis le : lundi 7 mars 2022-17:31:32

Dernière modification le : vendredi 19 juillet 2024-11:38:04

Archivage à long terme le : mercredi 8 juin 2022-20:59:22

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM TDS-MACS CEDRIC-CNAM HESAM
75 Consultations
48 Téléchargements

Altmetric

Partager

More