Actes de la 13 ème édition d'AFADL, atelier francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels, juin 2014. - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2014

Actes de la 13 ème édition d'AFADL, atelier francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels, juin 2014.

Résumé

L'atelier AFADL rassemble de nombreux acteurs académiques et industriels intéressés par la mise en oeuvre de techniques formelles aux divers stades du développement des logiciels et/ou des systèmes. Les articles contenus dans les actes d'AFADL 2014 couvrent un large éventail de techniques, méthodes et applications. 6 articles longs et 6 articles courts présentent des résultats nouveaux. Un des articles présente un projet ANR. Enfin 7 articles sont des résumés d'articles déjà présentés dans des conférences internationales.
Fichier principal
Vignette du fichier
actes_AFADL2014.pdf (3.03 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00997676 , version 1 (28-05-2014)

Identifiants

  • HAL Id : hal-00997676 , version 1

Citer

Catherine Dubois, Régine Laleau. Actes de la 13 ème édition d'AFADL, atelier francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels, juin 2014.. Catherine Dubois, Régine Laleau. AFADL, pp.140, 2014. ⟨hal-00997676⟩
215 Consultations
424 Téléchargements

Partager

Gmail Facebook X LinkedIn More