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

Type de document :
Chapitre d'ouvrage
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
Liste complète des métadonnées

https://hal.inria.fr/inria-00424484
Contributeur : Hervé Marchand <>
Soumis le : vendredi 16 octobre 2009 - 09:11:47
Dernière modification le : mercredi 11 avril 2018 - 01:52:48

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

118