book-chap-react-systems

C. Constant, T. Jéron, H. Marchand, V. Rusu. Validation of Reactive Systems. In Modeling and Verification of Real-TIME Systems - Formalisms and software Tools, S. Merz, N. Navet (eds.), Chap. 2, pp. 51-76, Hermès Science, January 2008.

Contact

Camille Constant http://www.irisa.fr/vertecs/Equipe/Constant
Thierry Jéron http://www.irisa.fr/prive/jeron
Hervé Marchand http://www.irisa.fr/prive/hmarchan
Vlad Rusu http://www.irisa.fr/vertecs/Equipe/Rusu/vlad-rusu.html

BibTex Reference

@InCollection{book-chap-react-systems,
   Author = {Constant, C. and Jéron, T. and Marchand, H. and Rusu, V.},
   Title = {Validation of Reactive Systems},
   BookTitle = {Modeling and Verification of Real-TIME Systems - Formalisms and software Tools},
   editor = {Merz, S. and Navet, N.},
   Chapter= {2},
   Pages = {51--76},
   Publisher = {Hermès Science},
   Month = {January},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)