Formal Software Techniques in Railway Systems.



TypeConference paper [With referee]
ConferenceProc. 9th IFAC Symposium on Control in Transportation Systems, Braunschweig, Germany, June 2000
Year2000    pp. 1-12
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering