<  Back to the Polytechnique Montréal portal

Delay-dependent partial order reduction technique for real time systems

Hanifa Boucheneb and Kamel Barkaoui

Article (2018)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/39010/
Journal Title: Real-Time Systems (vol. 54, no. 2)
Publisher: Springer
DOI: 10.1007/s11241-017-9297-0
Official URL: https://doi.org/10.1007/s11241-017-9297-0
Date Deposited: 18 Apr 2023 15:02
Last Modified: 08 Apr 2025 07:02
Cite in APA 7: Boucheneb, H., & Barkaoui, K. (2018). Delay-dependent partial order reduction technique for real time systems. Real-Time Systems, 54(2), 278-306. https://doi.org/10.1007/s11241-017-9297-0

Statistics

Dimensions

Repository Staff Only

View Item View Item