Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels

Frédéric Dadeau 1 Pascale Le Gall 2
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Résumé : Cet ouvrage présente les actes des 14èmes journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2015) qui se sont tenues à Bordeaux les 9 et 10 juin 2015.
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Dadeau, Frédéric; Le Gall, Pascale. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. pp.88, 2015, 〈http://events.femto-st.fr/afadl-2015〉
Liste complète des métadonnées

Littérature citée [105 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01155626
Contributeur : Frédéric Dadeau <>
Soumis le : mercredi 27 mai 2015 - 08:59:42
Dernière modification le : jeudi 11 janvier 2018 - 06:24:26
Document(s) archivé(s) le : lundi 24 avril 2017 - 15:13:27

Fichier

afadl2015.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01155626, version 1

Citation

Frédéric Dadeau, Pascale Le Gall. Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels. Dadeau, Frédéric; Le Gall, Pascale. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. pp.88, 2015, 〈http://events.femto-st.fr/afadl-2015〉. 〈hal-01155626〉

Partager

Métriques

Consultations de la notice

295

Téléchargements de fichiers

517