Actes des 15ème journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Ouvrages Année : 2016

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

Nicolas Stouls
Dynamic Software and Distributed Systems
Aurélie Hurault
  • Fonction : Directeur scientifique
  • PersonId : 748742
  • IdHAL : aurelie-hurault
Assistance à la Certification d’Applications DIstribuées et Embarquées
Institut National Polytechnique (Toulouse)

Domaines

Calcul formel [cs.SC]

Nicolas Stouls  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01937245

Soumis le : mercredi 28 novembre 2018-09:18:35

Dernière modification le : lundi 20 novembre 2023-11:44:22

Fichier non déposé

Dates et versions

hal-01937245 , version 1 (28-11-2018)

Identifiants

  • HAL Id : hal-01937245 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS INRIA INSA-LYON SMS UT1-CAPITOLE CITI INSA-GROUPE UDL IRIT IRIT-ACADIE IRIT-FSL TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
47 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More