Formal development and verification of a distributed railway control system-Reference-Cited by-同舟云学术

Formal development and verification of a distributed railway control system

Published:1999 Issue: Volume: Page:1546-1563
ISSN:0302-9743
Container-title:FM’99 — Formal Methods
language:
Short-container-title:

Author:

Haxthausen Anne E.,Peleska Jan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48118-4_32

Reference8 articles.

1. D. Bjørner, C.W. George, B. Stig Hansen, H. Laustrup, and S. Prehn. A railway system, coordination’97, case study workshop example. Technical Report 93, UNU/IIST, P.O.Box 3058, Macau, 1997.

2. B. Dehbonei and F. Mejia. Formal development of safety-critical software systems in railway signalling. In M. G. Hinchey and J. P. Bowen, editors, Applications of Formal Methods, pages 227–252. Prentice Hall Int., 1995.

3. Regionalstrecken. (De Eisenbahntechnische Rundschau (ETR)) 46 (1997), Heft 6, 323–331.

4. PhD thesis;K. Mark Hansen,1996

5. K. Mark Hansen. Formalising railway interlocking systems. In Procedings of Second FMERail Workshop, October 1998.

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

1. The ABZ-2018 case study with Event-B;International Journal on Software Tools for Technology Transfer;2019-07-09

2. The ABZ-2018 Case Study with Event-B;Lecture Notes in Computer Science;2018

3. Formal System Modelling Using Abstract Data Types in Event-B;Lecture Notes in Computer Science;2014

4. Model Checking Interlocking Control Tables;FORMS/FORMAT 2010;2011

5. Train Systems;Rigorous Development of Complex Fault-Tolerant Systems;2006