Vérification et Test pour des systèmes évolutifs

Elizabeta Fourneret 1 Fabrice Bouquet 1 Martin Ochoa 2 Jan Jürjens 2 Sven Wenzel 2
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Communication dans un congrès
AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.150--164, 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00762079
Contributeur : Fabrice Bouquet <>
Soumis le : jeudi 6 décembre 2012 - 14:03:48
Dernière modification le : jeudi 11 janvier 2018 - 06:24:26

Identifiants

  • HAL Id : hal-00762079, version 1

Citation

Elizabeta Fourneret, Fabrice Bouquet, Martin Ochoa, Jan Jürjens, Sven Wenzel. Vérification et Test pour des systèmes évolutifs. AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.150--164, 2012. 〈hal-00762079〉

Partager

Métriques

Consultations de la notice

197