Formal development and verification of railway control systems - DTU Orbit

‹ Back to search result

Formal development and verification of railway control systems

Project: PhD

With the same participants

Pattern-oriented Formal Software Development
Project
Modellering og analyse af globale applikationer
Project: PhD
Proof support for raise
Project: PhD
Domain-specific Languages for Railway Control Systems
Project
Modelling Railway Interlocking Systems II
Project
CoFI WG (ESPRIT Working Group no. 29432)
Project
FMERail (ESPRIT Project EP26538)
Project
Information project for highschool pupils
Project
Co-synthesis of RSL Specifications
Project
Dracos
Project

Vu Hong, Linh (Phd Student)
Haxthausen, Anne Elisabeth (Main Supervisor)
Peleska, Jan (Supervisor)

View graph of relations

Status	Current
Period	01-11-12 → 31-10-15

Financing source	Internal funding (public)
Research programme	Institut stipendie (DTU) Samf.

ID: 12356522