Test Selection Method to Validate Concurrent Programs against their Specifications
1995
Fichiers
Détails
Titre
Test Selection Method to Validate Concurrent Programs against their Specifications
Auteur(s)
Buchs, Didier
Publié dans
Software Quality Management, Sevilla, Spain, April 1995
Pages
403-414
Date
1995
Mots-clés (libres)
Note
(Also Available as Technical Report EPFL-DI No 95/101)
Laboratoires
LGL
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IC Archives > LGL - Laboratoire de génie logiciel
Papiers de conférence
Travail produit à l'EPFL
Publié
Papiers de conférence
Travail produit à l'EPFL
Publié
Date de création de la notice
2005-09-20