AFADL 2019 - Actes des 18e journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels - IMT Mines Alès
Ouvrages Année : 2019

AFADL 2019 - Actes des 18e journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels

David Chemouil
DTIS, ONERA, Université de Toulouse [Toulouse]
CV
Thomas Lambolais
Laboratoire de Génie Informatique et Ingénierie de Production

Domaines

Sciences de l'ingénieur [physics] Logique en informatique [cs.LO] Modélisation et simulation Informatique [cs] Algorithme et structure de données [cs.DS]

Administrateur IMT - Mines Alès  : Connectez-vous pour contacter le contributeur

https://imt-mines-ales.hal.science/hal-03137441

Soumis le : mercredi 10 février 2021-14:18:17

Dernière modification le : mardi 17 septembre 2024-16:03:27

Fichier non déposé

Dates et versions

hal-03137441 , version 1 (10-02-2021)

Identifiants

  • HAL Id : hal-03137441 , version 1

Citer

David Chemouil, Thomas Lambolais. AFADL 2019 - Actes des 18e journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels. , 2019. ⟨hal-03137441⟩

Relations

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ONERA EM-ALES TDS-MACS DTIS_ONERA INSTITUT-MINES-TELECOM
96 Consultations
0 Téléchargements

Partager

More