Formal Models of Railway Systems: Domains |
| | Type | Technical report | | Year | 1999 | | Publisher | Dept. of IT, Technical University of Denmark | | Address | Bldg. 344, DK-2800 Lyngby, Denmark | | Note | Presented at the FME\,Rail Workshop on Formal Methods in Railway Systems, FM'99 World Congress on Formal Methods, Toulouse, France. Avaliable on CD ROM. \htmladdnormallinkfoot{Postscript document}{http://www.imm.dtu.dk/~db/racosy/domain.ps} | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|