Skip to Main content Skip to Navigation
Book sections

Validation of Reactive Systems

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

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⟩

Share

Metrics

Record views

124