Vérification et Test pour des systèmes évolutifs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

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

Domains

Software Engineering [cs.SE]

Fabrice Bouquet  : Connect in order to contact the contributor

https://inria.hal.science/hal-00762079

Submitted on : Thursday, December 6, 2012-2:03:48 PM

Last modification on : Monday, September 11, 2023-5:41:18 PM

No file

Dates and versions

hal-00762079 , version 1 (06-12-2012)

Identifiers

  • HAL Id : hal-00762079 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-FCOMTE UNIV-BM FEMTO-ST UNIV-BM-THESE UNIV-LORRAINE INRIA2 LORIA LORIA-FM
119 View
0 Download

Share

Gmail Facebook X LinkedIn More