Publisher
Springer International Publishing
Reference33 articles.
1. Bergenhem, C., Pettersson, H., Coelingh, E., Englund, C., Shladover, S., Tsugawa, S.: Overview of platooning systems. In: ITS World Congress, Vienna, 22–26 October 2012
2. Bernardeschi, C., Fantechi, A., Gnesi, S., Larosa, S., Mongardi, G., Romano, D.: A formal verification environment for railway signaling system design. Formal Methods Syst. Des. 12(2), 139–161 (1998)
3. Biba, K.: Integrity Considerations for Secure Computer Systems. MITRE Co, Bedford (1977)
4. Bock, U., Bikker, G.: Design, development of a future freight train concept- “virtually coupled train formations”. In: Schnieder, E., Becker, U. (eds.): 9th IFAC Symposium Control in Transportation Systems, 13–15 June, S. 410–415, Braunschweig (2000)
5. Lecture Notes in Computer Science;A Bonacchi,2014
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Methods and Safety Certification: Challenges in the Railways Domain;Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016