A separation of concerns approach for the verified modelling of railway signalling rules

Type de document :
Communication dans un congrès
International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - RssRail 2019, Jun 2019, Lille, France
Liste complète des métadonnées

http://hal.univ-grenoble-alpes.fr/hal-02043174
Contributeur : Yves Ledru <>
Soumis le : mercredi 20 février 2019 - 17:42:39
Dernière modification le : jeudi 21 février 2019 - 11:02:55

Identifiants

  • HAL Id : hal-02043174, version 1

Collections

Citation

Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon. A separation of concerns approach for the verified modelling of railway signalling rules. International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - RssRail 2019, Jun 2019, Lille, France. 〈hal-02043174〉

Partager

Métriques

Consultations de la notice

11