Génération automatique et vérification formelle de programmes d'API sécurisés pour les systèmes de contrôle ferroviaires Génération automatique et vérification formelle de programmes d'API sécurisés pour les systèmes de contrôle ferroviaires - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Génération automatique et vérification formelle de programmes d'API sécurisés pour les systèmes de contrôle ferroviaires Génération automatique et vérification formelle de programmes d'API sécurisés pour les systèmes de contrôle ferroviaires

Journées STP Clermont_V5.pdf (5.12 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02151107 , version 1 (07-06-2019)

Identifiants

  • HAL Id : hal-02151107 , version 1

Citer

Mohamed Niang, Bernard Riera, Philippot Alexandre, Serge Debernard. Génération automatique et vérification formelle de programmes d'API sécurisés pour les systèmes de contrôle ferroviaires Génération automatique et vérification formelle de programmes d'API sécurisés pour les systèmes de contrôle ferroviaires. Journées STP du GDR MACS, 2018, Clermont-Ferrand, France. ⟨hal-02151107⟩
35 Consultations
162 Téléchargements

Partager

Gmail Facebook X LinkedIn More