Towards a tool-based domain specific approach for railway systems modeling and validation

Document type :
Conference papers
Complete list of metadatas

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

Identifiers

  • HAL Id : hal-02043192, version 1

Collections

Citation

Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon. Towards a tool-based domain specific approach for railway systems modeling and validation. International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - RssRail 2019, Jun 2019, Lille, France. ⟨hal-02043192⟩

Share

Metrics

Record views

27