Specifying Railway Interlocking Requirements for Practical Use-Reference-Cited by-同舟云学术

Specifying Railway Interlocking Requirements for Practical Use

Published:1997 Issue: Volume: Page:243-249
ISSN:
Container-title:Safe Comp 96
language:
Short-container-title:

Author:

Eriksson Lars-Henrik

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-0937-2_21.pdf

Reference12 articles.

1. Stålmarck G, Säflund M: Modelling and Verifying Systems and Software in Propositional Logic. In: Daniels BK (ed) Safety of Computer Control Systems 1990 (SAFECOMP’90). Pergamon Press, Oxford, 1990.

2. Eriksson L-H. Formalisering av krav på ställverk (delrapport fas 1). Report NP-K-LHE-001. Logikkonsult NP AB, Stockholm, 1995. (in Swedish)

3. Eriksson L-H. Formalisering av krav på ställverk (slutrapport). Report NP-K- LHE-003. Logikkonsult NP AB, Stockholm, 1996. (in Swedish)

4. Groote JF et.al. The Safety Guaranteeing System at Station Horn-Kersenboogerd. Logic Group Preprint Series No. 121. Department of Philosophy, Utrecht University, Utrecht, 1994.

5. Hansen KM: Validation of a Railway Interlocking Model. In: Naftalin, Denvir, Bertran (eds.) FME’94: Industrial Benefit of Formal Methods. Springer-Verlag, Heidelberg, 1994. (Lecture Notes in Computer Science no. 873)

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

1. Towards model checking executable UML specifications in mCRL2;Innovations in Systems and Software Engineering;2010-02-07

2. Automated Verification of Signalling Principles in Railway Interlocking Systems;Electronic Notes in Theoretical Computer Science;2009-09

3. Formal Methods Diffusion: Past Lessons and Future Prospects;Computer Safety, Reliability and Security;2000