Automatic Generation and Formal Verification of Safe PLC Programs for Railway Control Systems, Invited Plenary Talk - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Automatic Generation and Formal Verification of Safe PLC Programs for Railway Control Systems, Invited Plenary Talk

J. Zaytoon
Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804
Mohamed Niang
  • Fonction : Auteur
Bernard Riera
CV
Philippot Alexandre
François Gellot

Domaines

Automatique / Robotique

Janan Zaytoon  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02950934

Soumis le : lundi 28 septembre 2020-13:29:02

Dernière modification le : vendredi 19 avril 2024-13:44:22

Fichier non déposé

Dates et versions

hal-02950934 , version 1 (28-09-2020)

Identifiants

  • HAL Id : hal-02950934 , version 1

Citer

J. Zaytoon, Mohamed Niang, Bernard Riera, Philippot Alexandre, François Gellot. Automatic Generation and Formal Verification of Safe PLC Programs for Railway Control Systems, Invited Plenary Talk: Invited Plenary lecture. International Conference on Control, Automation and Systems (ICCAS), 2018, PyeongChang, South Korea. ⟨hal-02950934⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

URCA TDS-MACS CRESTIC
37 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More