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 Connect in order to contact the contributor
Submitted on : Wednesday, October 7, 2009 - 10:51:17 AM
Last modification on : Friday, February 4, 2022 - 3:19:48 AM

Identifiers

  • HAL Id : inria-00422469, version 1

Collections

INRIA | INRIA2

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 Datacite

Share

Metrics

Record views

52

 

Contact                    Legal Notice                    Personal Data