Author:
James Phillip,Moller Faron,Nguyen Hoang Nga,Roggenbach Markus,Treharne Helen,Wang Xu
Publisher
Springer International Publishing
Reference5 articles.
1. Douglas, H., Weston, P., Kirkwood, D., Hillmansen, S., Roberts, C.: Method for validating the train motion equations used for passenger rail vehicle simulation. J. Rail Rapid Transit (2016)
2. James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., Treharne, H.: Techniques for modelling and verifying railway interlockings. STTT 16(6), 685–711 (2014)
3. Lecture Notes in Computer Science;P James,2013
4. Kolovos, D., Rose, L., Paige, R., Polack, F.: The Epsilon Book (2013)
5. Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF. Pearson (2008)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Train Protection Logic Based on Topological Manifolds for Virtual Coupling;IEEE Transactions on Intelligent Transportation Systems;2021
2. Towards a Hybrid Verification Approach;Software Technologies: Applications and Foundations;2018