| Date of Award | 2013 |
|---|---|
| Original language | English |
| Supervisor | Ömer Usta (Supervisor) |
Design and rams analysis of railway interlocking systems using formal methods
Student thesis: Master's thesis