Retour
  1. Accueil
  3. Référence détaillée
Demander un accès
Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)
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
Permalien
https://hdl.handle.net/10993/9771
 

Documents (1)Envoyer versDétailsStatistiquesBibliographiePublications similaires

Documents

Texte intégral
FinalVersion_AFADL2012.pdf
Postprint Auteur (627.91 kB)
Demander un accès

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers


Détails


Disciplines :
Sciences informatiques
Identifiants :
UNILU:UL-CONFERENCE-2013-051
Auteur, co-auteur :
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
Langue du document :
Français
Titre :
Vérification et test pour des systemes évolutifs
Titre traduit :
[en] Verification and Testing of evolving systems
Date de publication/diffusion :
janvier 2012
Nom de la manifestation :
AFADL
Date de la manifestation :
from 11-01-2012 to 13-01-2012
Manifestation à portée :
International
Titre de l'ouvrage principal :
Congrès Approches Formelles dans l'Assistance au Développement de Logiciels
Pagination :
150-164
Peer reviewed :
Peer reviewed
URL complémentaire :
http://hal.inria.fr/hal-00762079
Disponible sur ORBilu :
depuis le 31 octobre 2013

Statistiques

Nombre de vues
77 (dont 2 Unilu)
Nombre de téléchargements
1 (dont 1 Unilu)
Voir plus de statistiques

Bibliographie

Publications similaires


Contacter ORBilu