Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Press / Media
Search by expertise, name or affiliation
Haxthausen, Anne Elisabeth
In this project we use RAISE to do a formal development and verification
of a real distributed railway control system.
Effective start/end date
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Distributed parameter control systems
Engineering & Materials Science
View full fingerprint