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 (UMR 6174), 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.
Document type :
Directions of work or proceedings
Complete list of metadatas

Cited literature [105 references]  Display  Hide  Download

https://hal.inria.fr/hal-01155626
Contributor : Frédéric Dadeau <>
Submitted on : Wednesday, May 27, 2015 - 8:59:42 AM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM
Long-term archiving on : Monday, April 24, 2017 - 3:13:27 PM

File

afadl2015.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

407

Files downloads

635