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. In Simon Collart Dutilleul, Thierry Lecomte, Alexander B. Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings. Volume 11495 of Lecture Notes in Computer Science, pages 23-40, Springer, 2019. [doi]
Abstract is missing.