Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels - Inria - Institut national de recherche en sciences et technologies du numérique
Proceedings/Recueil Des Communications Année : 2015

Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels

Frédéric Dadeau
Combination of approaches to the security of infinite states systems
Pascale Le Gall
Mathématiques Appliquées aux Systèmes - EA 4037
CV

Résumé

Cet ouvrage présente les actes des 14èmes journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2015) qui se sont tenues à Bordeaux les 9 et 10 juin 2015.

Domaines

Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
afadl2015.pdf (5.11 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Frédéric Dadeau  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01155626

Soumis le : mercredi 27 mai 2015-08:59:42

Dernière modification le : lundi 11 septembre 2023-17:41:18

Archivage à long terme le : lundi 24 avril 2017-15:13:27

Télécharger pour visualiser

Dates et versions

hal-01155626 , version 1 (27-05-2015)

Identifiants

  • HAL Id : hal-01155626 , version 1

Citer

Frédéric Dadeau, Pascale Le Gall. Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels. Dadeau, Frédéric; Le Gall, Pascale. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. , pp.88, 2015. ⟨hal-01155626⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-FCOMTE UNIV-BM FEMTO-ST MAS UNIV-BM-THESE CENTRALESUPELEC UNIV-LORRAINE INRIA2 MICS LORIA LORIA-FM UNIV-PARIS-SACLAY GS-ENGINEERING GS-COMPUTER-SCIENCE
250 Consultations
559 Téléchargements

Partager

More