Publications
Proceedings of the 9th IFAC Symposium on Control in Transportation Systems 2000, June 13-15, 2000, Braunschweig, Germany, pages 147–152, 2000 A. E. Haxthausen and J. Peleska. Formal Methods for the Specification [...] Publishers, 2002 2000 A. E. Haxthausen and J. Peleska. Formal Development and Verification of a Distributed Railway Control System. IEEE Transaction on Software Engineering, 26(8):687–701, 2000 J. Peleska, A [...] Eisenbahnsicherung FortschrittBerichte VDI, Reihe 12, Nr. 436, pages 263–271. VDI-Verlag, Düsseldorf, 2000 1999 A. E. Haxthausen and J. Peleska. Formal Development and Verification of a Distributed Railway