Back
  1. Home
  3. Detailled Reference
Request a copy
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Vérification et test pour des systemes évolutifs
Fourneret, Elizabeta; Bouquet, Fabrice; Ochoa, Martìn et al.
2012 • In Congrès Approches Formelles dans l'Assistance au Développement de Logiciels
Peer reviewed
Permalink
https://hdl.handle.net/10993/9771
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
FinalVersion_AFADL2012.pdf
Author postprint (627.91 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to


Details


Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2013-051
Author, co-author :
Fourneret, Elizabeta ;  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
Language :
French
Title :
Vérification et test pour des systemes évolutifs
Alternative titles :
[en] Verification and Testing of evolving systems
Publication date :
January 2012
Event name :
AFADL
Event date :
from 11-01-2012 to 13-01-2012
Audience :
International
Main work title :
Congrès Approches Formelles dans l'Assistance au Développement de Logiciels
Pages :
150-164
Peer reviewed :
Peer reviewed
Additional URL :
http://hal.inria.fr/hal-00762079
Available on ORBilu :
since 31 October 2013

Statistics

Number of views
50 (2 by Unilu)
Number of downloads
1 (1 by Unilu)
More statistics

Bibliography

Similar publications


Contact ORBilu