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 <>
Submitted on : Friday, October 16, 2009 - 9:11:47 AM
Last modification on : Thursday, January 7, 2021 - 4:34:05 PM

Identifiers

  • HAL Id : inria-00424484, version 1

Collections

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

134