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 (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-00762079
Contributor : Fabrice Bouquet <>
Submitted on : Thursday, December 6, 2012 - 2:03:48 PM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM

Identifiers

  • 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. ⟨hal-00762079⟩

Share

Metrics

Record views

287