Conference Papers
Year : 2009
Laboratoire CEDRIC : Connect in order to contact the contributor
https://hal.science/hal-01125684
Submitted on : Friday, March 6, 2015-11:23:26 AM
Last modification on : Friday, August 5, 2022-2:54:00 PM
Dates and versions
Identifiers
- HAL Id : hal-01125684 , version 1
Cite
Hanifa Boucheneb, Kamel Barkaoui. On combining the ready sets with the covering steps methods. VECoS'09, 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems, Rabat, Morroco, Jan 2009, X, France. pp.74-84. ⟨hal-01125684⟩
Collections
18
View
0
Download