Actes des 22ème Journées des approches formelles dans l’assistance au développement de logiciels,AFADL'23 - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2023

Proceedings of the 22nd Day of AFADL

Actes des 22ème Journées des approches formelles dans l’assistance au développement de logiciels,AFADL'23

Résumé

The AFADL days bring together academics and industrial researchers who are interested in the practical use of formal methods at all stages of the development of software or systems. In 2023, the days took place in Rennes from June 5th to June 8th in the same place of the annual days organized by GDR GPL.
Les journées AFADL ont pour objectif de rassembler de nombreux acteurs académiques et industriels intéressés par la mise en œuvre des techniques formelles aux divers stades du développement des logiciels et/ou des systèmes. En 2023, ces journées se sont tenues du 5 au 8 juin 2023 à Rennes de façon concomitante avec les journées du GDR GPL.
Fichier principal
Vignette du fichier
afadl2023.pdf (3.56 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04179353 , version 1 (09-08-2023)
hal-04179353 , version 2 (01-09-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-04179353 , version 2

Citer

Natalia Kushik, Frédéric Mallet. Actes des 22ème Journées des approches formelles dans l’assistance au développement de logiciels,AFADL'23. pp.60, 2023, Journées AFADL. ⟨hal-04179353v2⟩
66 Consultations
197 Téléchargements

Partager

Gmail Facebook X LinkedIn More