Projects
The projects in which the FMT research group currently participates are listed below. Lists of upcoming projects and completed projects are available too.
National funding
FormaSig: Formal methods in railway signalling infrastructure standardisation processes (Funded by: ProRail; DB Netze A.G.) |