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

On combining the ready sets with the covering steps methods

Domaines

Informatique [cs] Calcul parallèle, distribué et partagé [cs.DC]

Laboratoire CEDRIC  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01125684

Soumis le : vendredi 6 mars 2015-11:23:26

Dernière modification le : vendredi 19 juillet 2024-11:38:04

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM CEDRIC-CNAM
41 Consultations
0 Téléchargements

Partager

More