Reference : Vérification et test pour des systemes évolutifs
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/9771
Vérification et test pour des systemes évolutifs
French
[en] Verification and Testing of evolving systems
Fourneret, Elizabeta mailto [LIFC INRIA CASSIS Project, Univ. de Franche-Comte, Besancon, France]
Bouquet, Fabrice [LIFC INRIA CASSIS Project, Univ. de Franche-Comte, Besancon, France]
Ochoa, Martìn [Tech. Univ. of Dortmund, Dortmund, Germany]
Jurjens, Jan [Tech. Univ. of Dortmund, Dortmund, Germany]
Wenzel, Sven [Tech. Univ. of Dortmund, Dortmund, Germany]
Jan-2012
Congrès Approches Formelles dans l'Assistance au Développement de Logiciels
150-164
Yes
International
AFADL
from 11-01-2012 to 13-01-2012
http://hdl.handle.net/10993/9771
http://hal.inria.fr/hal-00762079

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
FinalVersion_AFADL2012.pdfAuthor postprint613.19 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.