Proceedings/Recueil Des Communications Année : 2025

Proceedings of the “Approches Formelles dans l'Assistance au Développement du Logiciel” conference (AFADL 2025)

Actes des journées Approches Formelles dans l’Assistance au Développement du Logiciel (AFADL 2025)

Résumé

The 2025 annual meeting of the AFADL community and of the related research groups of the GDR GPL is organized in Pau. The aim of the AFADL days is to bring together academic and industrial players interested in the implementation of formal techniques at various stages of software and/or systems development.

Ces journées à Pau poursuivent les rencontres annuelles de la communauté AFADL et plus largement des groupes de recherche connexes du GDR GPL. Les journées AFADL ont pour objectif de rassembler des acteurs académiques et industriels intéressés par la mise en œuvre des techniques formelles à divers stades du développement des logiciels et/ou des systèmes.

Fichier principal
Vignette du fichier
main.pdf (6.41 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05106227 , version 1 (10-06-2025)

Licence

Identifiants

  • HAL Id : hal-05106227 , version 1

Citer

Fabien Dagnat, Olga Kouchnarenko. Actes des journées Approches Formelles dans l’Assistance au Développement du Logiciel (AFADL 2025). Approches Formelles dans l’Assistance au Développement du Logiciel, Jun 2025, Pau, France. 2025. ⟨hal-05106227⟩
324 Consultations
634 Téléchargements

Partager

  • More