![](/img/cover-not-exists.png)
[IEEE 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Seville, Spain (2015.10.21-2015.10.23)] 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Two methods for modeling and verification of safety properties of railway infrastructures
Faivre, Alain, Lapitre, Arnault, Lanusse, Agnes, Perin, Matthieu, Rangra, Subeer, Sallak, Mohamed, Schon, WalterYear:
2015
Language:
english
DOI:
10.1109/iesm.2015.7380134
File:
PDF, 722 KB
english, 2015