Skip to Main content Skip to Navigation
Book sections

Combinaison entre vérification et test pour la validation de systèmes réactifs

Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/inria-00424484
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Friday, October 16, 2009 - 9:11:47 AM
Last modification on : Friday, February 4, 2022 - 3:15:56 AM

Identifiers

  • HAL Id : inria-00424484, version 1

Citation

Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu. Combinaison entre vérification et test pour la validation de systèmes réactifs. Nicolas Navet. Traité I2C. Systèmes Temps Réel: Techniques de Description et de Vérification - Théorie et Outils, 1, Hermès Science, pp.59-88, 2006, Informatique et Systèmes d'information. ⟨inria-00424484⟩

Share

Metrics

Record views

45