Skip to Main content Skip to Navigation

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.
Document type :
Books
Complete list of metadatas

Cited literature [129 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00997676
Contributor : Régine Laleau <>
Submitted on : Wednesday, May 28, 2014 - 3:15:43 PM
Last modification on : Friday, October 4, 2019 - 1:12:55 AM
Document(s) archivé(s) le : Thursday, August 28, 2014 - 12:36:55 PM

File

actes_AFADL2014.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00997676, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

322

Files downloads

554