[IEEE 2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT) - Birmingham, United Kingdom (2016.8.23-2016.8.25)] 2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT) - Towards safety monitoring of ETCS level 2 with parametrized extended live sequence charts
Chai, Ming, Jidong Lv,, Hongjie Liu,, Lu Zhang,Year:
2016
Language:
english
DOI:
10.1109/ICIRT.2016.7588766
File:
PDF, 649 KB
english, 2016