Actes des 15ème journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016)

Nicolas Stouls 1 Aurélie Hurault 2
1 DYNAMID - Dynamic Software and Distributed Systems
CITI - CITI Centre of Innovation in Telecommunications and Integration of services
2 ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
IRIT - Institut de recherche en informatique de Toulouse
Document type :
Directions of work or proceedings
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01937245
Contributor : Nicolas Stouls <>
Submitted on : Wednesday, November 28, 2018 - 9:18:35 AM
Last modification on : Friday, April 12, 2019 - 4:24:12 PM

Identifiers

  • HAL Id : hal-01937245, version 1

Citation

Nicolas Stouls, Aurélie Hurault. Actes des 15ème journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016). 2016. ⟨hal-01937245⟩

Share

Metrics

Record views

21