Formal Software Techniques in Railway Systems. |
| | Type | Conference paper [With referee] | | Conference | Proc. 9th IFAC Symposium on Control in Transportation Systems, Braunschweig, Germany, June 2000 | | Year | 2000 pp. 1-12 | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|