| Date of Award | 2016 |
|---|---|
| Original language | English |
| Supervisor | Mehmet Turan Söylemez (Supervisor) |
Designing, verification and validation of railway signaling systems using coloured petri nets
Student thesis: Master's thesis