On combining the ready sets with the covering steps methods - Archive ouverte HAL Access content directly
Conference Papers Year : 2009
No file

Dates and versions

hal-01125684 , version 1 (06-03-2015)

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

CNAM CEDRIC-CNAM
18 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More