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, Volume 1, Chapter 2, Pages 59-88, Hermès Science, 2006.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Camille Constant
camille.constant@irisa.fr

Thierry Jéron
Thierry.Jeron@irisa.fr

Hervé Marchand
hmarchan@irisa.fr

Vlad Rusu
Vlad.Rusu@irisa.fr

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)


This page has been automatically generated using the bib2html program.