Dynamics of railway nets

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 36, Issue 14, 2003, Pages 227-232

  Bjorner, Dines ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; ENGINEERING RESEARCH; RAILROADS;

COLLABORATIVE WORK; COMPUTING SCIENCE; SCIENTIFIC BASIS;

RAILS;

EID: 85064451216     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1016/S1474-6670(17)32424-2     Document Type: Conference Paper

References (4)

1. Bjorner, Dines (2000). Formal Software Techniques in Railway Systems. In: 9th IFAC Symposium on Control in Transportation Systems (Eckehard Schnieder, Ed.). VDljVDE-Gesellschaft Mess- und Automatisieringstech-nik, VDI-Gesellschaft fur Fahrzeug- und Verkehrstechnik. Technical University, Braun-schweig, Germany. pp. 1-12.
2. Chaochen, Zhou and Michael R. Hansen (2002 (2003)). Duration Calculus: A formal approach to real-time systems. Monographs in Theoretical Computer Science. Springer-Verlag.
3. George, Chris, Anne Haxthausen, Steven Hughes, Robert Milne, Soren Prehn and Jan Storbank Pedersen (1995). The RAISE Method. The BCS Practitioner Series. Prentice-Hall. Hemel Hampstead, England.
4. George, Chris, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne, Claus Bendix Nielsen, Soren Prehn and Kim Ritter Wagner (1992). The RAISE Specification Language. The BCS Practitioner Series. Prentice-Hall. Hemel Hampstead, England.