Validation of Reactive Systems

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

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〉

Partager

Métriques

Consultations de la notice

107