Formal Software Techniques in Railway Systems

Dines Bjørner

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proc. 9th IFAC Symposium on Control in Transportation Systems
Place of Publication	Braunschweig, Germany
Publication date	2000
Pages	1-12
Publication status	Published - 2000
Event	Proc. 9th IFAC Symposium on Control in Transportation Systems - Braunschweig, Germany, Duration: 1 Jan 2000 → …

Conference	Proc. 9th IFAC Symposium on Control in Transportation Systems
City	Braunschweig, Germany,
Period	01/01/2000 → …

Cite this

@inproceedings{60ef6d12043c43149f7d0833f21a630d,

title = "Formal Software Techniques in Railway Systems",

author = "Dines Bj{\o}rner",

year = "2000",

language = "English",

pages = "1--12",

booktitle = "Proc. 9th IFAC Symposium on Control in Transportation Systems",

note = "Proc. 9th IFAC Symposium on Control in Transportation Systems ; Conference date: 01-01-2000",

}