-
Selection by year
-
Selection by authors
-
Complete lists
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
Thierry Jéron http://www.irisa.fr/prive/jeron
Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/
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)