Information Technology Reference
In-Depth Information
10. Berg, A.: Adtranz Signal's Formal Verification Process: Safety Verification of In-
terlocking Functionality. In: Bjørner, D., Fahl´en,M.(eds.)FMERailWorkshop
# 4. FME, Rail Workshop, Stockholm, Sweden. FME,Rail Workshop # 4, vol. #
4, FME: Formal Methods Europe, Banverket, Falun, Sweden (May 12-14, 1999)
11. Berger, J., Middelraad, P., Smith, A.J.: The European railway interlocking spec-
ification. In: IRSE, pp. 70-82 (1993)
12. Billington, J., Janczura, C.: Removing Deadlock from a Railway Network Specifi-
cation. In: Australian Engineering Mathematics Conference (AEMC'96), Sydney,
Australia, July 1996, pp. 193-200. Australian Engineering Mathematical Society
(1996)
13. Bjørner, D.: A Architecture for Running Map Systems. Technical Re-
port db/arch/01, UNU/IIST, the UN University's International Institute
for Software Technology, P.O.Box 3058, Macau (February 1994), E-Mail:
14. Bjørner, D.: Formal Software Techniques in Railway Systems. In: Schnieder,
E. (ed.) 9th IFAC Symposium on Control in Transportation Systems, pp. 1-
12, Technical University, Braunschweig, Germany, 13-15 June 2000. VDI/VDE-
Gesellschaft Mess- und Automatisieringstechnik, VDI-Gesellschaft fur Fahrzeug-
und Verkehrstechnik (2000)
15. Bjørner, D.: Dynamics of Railway Nets: On an Interface between Automatic Con-
trol and Software Engineering. In: CTS2003: 10th IFAC Symposium on Control
in Transportation Systems, Oxford, UK, August 4-6 2003, Elsevier, Amsterdam
(2003)
16. Bjørner, D., Braad, J., Mogensen, K.S.: Models of Railway Systems: Domain
(FME: Formal Methods Europe, Steria, France, September 22-24 1999.). In:
Lecomte, T., Larsen, P.G. (eds.) FME Rail Workshop, FME,Rail Workshop #
5. FME, Rail Workshop, Toulouse, France, vol. # 5. FME: Formal Methods Eu-
rope, Steria, France (September 22-24, 1999)
17. Bjørner, D., Braad, J., Mogensen, K.S. (eds.): Models of Railway Systems:
Requirements. In: Lecomte, T., Larsen, P.G. (eds.) FME Rail Workshop # 5.
FME Rail Workshop; Toulouse, France, vol. # 4, FME: Formal Methods Europe,
Steria, France (September 22-24, 1999)
18. Bjørner, D., George, C.W., Prehn, S.: Computing Systems for Railways — A Role
for Domain Engineering. Relations to Requirements Engineering and Software for
Control Applications. In: Kraemer, B., Petterson, J.C. (eds.) Integrated Design
and Process Technology, P.O.Box 1299, Grand View, Texas 76050-1299, USA,
24-28 June 2002, Society for Design and Process Science (2002)
19. Bjørner, D., George, C.W., Hansen, B.S., Laustrup, H., Prehn, S., et al.: A Rail-
way System, Coordination '97: Case Study Workshop Example. Technical Re-
port 93, UNU/IIST, P.O.Box 3058, Macau (Spring 1997 - Fall 1998)
20. Bjørner, D., George, C.W., Prehn, S.: Scheduling and rescheduling of trains, p.
24. Academic Press, London (1999)
21. Bjørner, D., Lin, D.Y., Prehn, S.: Domain Analyses: A Case Study of Station
Management. In: KICS'94: Kunming International CASE Symposium, Yunnan
Province, P.R.of China,Software Engineering Association of Japan (November
16-20, 1994)
22. Bjørner, D., Prehn, S., George, C.W.: Formal Models of Railway Systems: Do-
mains Technical report, Dept. of IT, Technical University of Denmark, Bldg. 344,
DK-2800 Lyngby, Denmark (September 23, 1999)
Search WWH ::
Custom Search