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
Type de document :
Direction d'ouvrage, Proceedings, Dossier
2016
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01937245
Contributeur : Nicolas Stouls <>
Soumis le : mercredi 28 novembre 2018 - 09:18:35
Dernière modification le : vendredi 30 novembre 2018 - 01:22:36

Identifiants

  • HAL Id : hal-01937245, version 1

Collections

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〉

Partager

Métriques

Consultations de la notice

16