A domain specific language for tramway control systems | Nikolaj K. Christensen, Rasmus Dyhrberg
| | Keywords | domain specific languages, formal methods, RAISE, C, XML, tramway control systems, safety, verification | | Type | Master's thesis [Academic thesis] | | Year | 2004 | | Publisher | Informatics and Mathematical Modelling, Technical University of Denmark, DTU | | Address | Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby | | Series | IMM-Thesis-2004-33 | | Note | Supervised by Assoc. Prof. Anne E. Haxthausen | | Electronic version(s) | [ps] | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|