Chapitre D'ouvrage
Année : 2008
Hervé Marchand : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00422469
Soumis le : mercredi 7 octobre 2009-10:51:17
Dernière modification le : jeudi 15 février 2024-03:31:51
Dates et versions
Identifiants
- HAL Id : inria-00422469 , version 1
Citer
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⟩
60
Consultations
0
Téléchargements