On combining the ready sets with the covering steps methods - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

On combining the ready sets with the covering steps methods

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01125684 , version 1

Citer

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
26 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More