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
Type de document :
Chapitre d'ouvrage
S, Merz and N, Navet. Modeling and Verification of Real-TIME Systems - Formalisms and software Tools, Hermès Science, pp.51-76, 2008
Liste complète des métadonnées
https://hal.inria.fr/inria-00422469
Contributeur : Hervé Marchand <>
Soumis le : mercredi 7 octobre 2009 - 10:51:17
Dernière modification le : mercredi 11 avril 2018 - 01:54:40

Identifiants

  • HAL Id : inria-00422469, version 1

Collections

INRIA | INRIA-RENGRE

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

106

Contact


archive-ouverte@inria.fr