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

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. Springer
Liste complète des métadonnées

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

Identifiants

  • 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. Springer. 〈hal-02043192〉

Partager

Métriques

Consultations de la notice

17