Skip to Main content Skip to Navigation
Book sections

Validation of Reactive Systems

Camille Constant 1 Thierry Jéron 1 Hervé Marchand 1 Vlad Rusu 1
1 VERTECS - Verification models and techniques applied to testing and control of reactive systems
Inria Rennes – Bretagne Atlantique
Document type :
Book sections
Complete list of metadata
https://hal.inria.fr/inria-00422469
Contributor : Hervé Marchand <>
Submitted on : Wednesday, October 7, 2009 - 10:51:17 AM
Last modification on : Wednesday, April 11, 2018 - 1:54:40 AM

Identifiers

  • HAL Id : inria-00422469, version 1

Collections

INRIA

Citation

Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu. Validation of Reactive Systems. S, Merz and N, Navet. Modeling and Verification of Real-TIME Systems - Formalisms and software Tools, Hermès Science, pp.51-76, 2008. ⟨inria-00422469⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

124

 

Contact                    Legal Notice                    Personal Data