Publication: Research › Report – Annual report year: 2010
|Place of Publication||Kgs. Lyngby, Denmark|
|Number of pages||32|
|State||Published - 2010|
This report is a delivery to The Danish Government's railway authority, Trafikstyrelsen, as a part of the Public Sector Consultancy service offered by the Technical University of Denmark.
- Formal methods