-
Selection by year
-
Selection by authors
-
Complete lists
I2C-constant-jeron-marchand-rusu-06
C. Constant, T. Jéron, H. Marchand, V. Rusu. Combinaison entre vérification et test pour la validation de systèmes réactifs. In Traité I2C. Systèmes Temps Réel: Techniques de Description et de Vérification - Théorie et Outils, Vol. 1, Chap. 2, pp. 59-88, Hermès Science, 2006.
Contact
Thierry Jéron http://www.irisa.fr/prive/jeron
Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/
BibTex Reference
@InCollection{I2C-constant-jeron-marchand-rusu-06,
Author = {Constant, C. and Jéron, T. and Marchand, H. and Rusu, V.},
Title = {Combinaison entre vérification et test pour la validation de systèmes réactifs},
BookTitle = {Traité I2C. Systèmes Temps Réel: Techniques de Description et de Vérification - Théorie et Outils},
Volume = {1},
Chapter= {2},
Pages = {59--88},
Publisher = {Hermès Science},
Year = {2006}
}
EndNote Reference [help]
Get EndNote Reference (.ref)