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

Document type :
Conference papers
Complete list of metadatas

http://hal.univ-grenoble-alpes.fr/hal-02043174
Contributor : Yves Ledru <>
Submitted on : Wednesday, February 20, 2019 - 5:42:39 PM
Last modification on : Thursday, February 21, 2019 - 11:02:55 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

26