Delay-dependent partial order reduction technique for real time systems
Crossref DOI link: https://doi.org/10.1007/s11241-017-9297-0
Published Online: 2017-12-14
Published Print: 2018-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Boucheneb, Hanifa
Barkaoui, Kamel
Funding for this research was provided by:
Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada (CA) (RGPIN-2016-06393)
License valid from 2017-12-14