New Distribution Paradigms for Railway Interlocking-Reference-Cited by-同舟云学术

New Distribution Paradigms for Railway Interlocking

Published:2020 Issue: Volume: Page:434-448
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Peleska Jan

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-61467-6_28

Reference29 articles.

1. Roadmap to a Single European Transport Area - Towards a competitive and resource efficient transport system. Technical report, European Union - EUR-Lex (2011). https://eur-lex.europa.eu/legal-content/EN/TXT/?uri=celex:52011DC0144 , white paper

2. CENELEC: EN 50128:2011 Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems (2011)

3. Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng. SE-4(3), 178–186 (1978)

4. Cristian, F.: Probabilistic clock synchronization. Distrib. Comput. 3(3), 146–158 (1989). https://doi.org/10.1007/BF01784024

5. Lecture Notes in Computer Science;R Dorofeeva,2005

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the Unification of Conformance Notions;Lecture Notes in Computer Science;2024

2. Complete Agent-driven Model-based System Testing for Autonomous Systems;Electronic Proceedings in Theoretical Computer Science;2021-10-21

3. Efficient data validation for geographical interlocking systems;Formal Aspects of Computing;2021-08-10

4. RT-Cloud: Virtualization Technologies and Cloud Computing for Railway Use-Case;2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC);2021-06

5. Formal Methods for Distributed Computing in Future Railway Systems;Lecture Notes in Computer Science;2020