Using Computer Science Modeling Techniques for Airport Security Certification - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Using Computer Science Modeling Techniques for Airport Security Certification

Régine Laleau
Centre d'études et de recherche en informatique et communications
Yves Ledru
Laboratoire d'intelligence artificielle
Didier Bert
  • Fonction : Auteur
  • PersonId : 1202581
Fabrice Bouquet
Michel Lemoine
  • Fonction : Auteur
Catherine Dubois
Centre d'études et de recherche en informatique et communications
Veronique Viguie Donzeau-Gouge
  • Fonction : Auteur
  • PersonId : 964505
Centre d'études et de recherche en informatique et communications
Sylvie Vignes
  • Fonction : Auteur

Domaines

Informatique [cs] Langage de programmation [cs.PL]

Laboratoire CEDRIC  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01125403

Soumis le : vendredi 6 mars 2015-11:08:43

Dernière modification le : mardi 9 avril 2024-17:12:46

Fichier non déposé

Dates et versions

hal-01125403 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125403 , version 1

Citer

Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, et al.. Using Computer Science Modeling Techniques for Airport Security Certification. RCIS''07 First Int. Conf. on Research Challenges in Information Science, Ouarzazate, Jan 2007, X, France. pp.61-72. ⟨hal-01125403⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM INRA CEDRIC-CNAM INRAE
48 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More