Formal Models of Railway Systems: Requirements



TypeTechnical report
Year1999
PublisherDept. of IT, Technical University of Denmark
AddressBldg. 344, DK-2800 Lyngby, Denmark
NotePresented 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/requirements.ps}
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering