Beta 1


Title A domain specific language for tramway control systems
Author Christensen, Nikolaj K.
Dyhrberg, Rasmus
Supervisor Haxthausen, Anne Elisabeth (Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2004
Imprint Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU : DK-2800 Kgs. Lyngby, Denmark
Keywords domain specific languages; formal methods; RAISE; C; XML; tramway control systems; safety; verification
Fulltext
Derived PDF imm3185.pdf (0.87 MB)
Original Postscript imm3185.ps (2.94 MB)
Admin Creation date: 2006-06-22    Update date: 2012-12-21    Source: dtu    ID: 154741    Original MXD