Chapitre D'ouvrage
Année : 2006
Hervé Marchand : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00424484
Soumis le : vendredi 16 octobre 2009-09:11:47
Dernière modification le : jeudi 15 février 2024-03:31:38
Dates et versions
Identifiants
- HAL Id : inria-00424484 , version 1
Citer
Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu. Combinaison entre vérification et test pour la validation de systèmes réactifs. Nicolas Navet. Traité I2C. Systèmes Temps Réel: Techniques de Description et de Vérification - Théorie et Outils, 1, Hermès Science, pp.59-88, 2006, Informatique et Systèmes d'information. ⟨inria-00424484⟩
59
Consultations
0
Téléchargements