Period | 18 Dec 2019 |
---|---|
Examinee | Christophe Limbrée |
Examination held at | Université Catholique de Louvain (UCL) |
Degree of Recognition | International |
Formal verification of railway interlocking systems
Activity: Examination types › External Thesis
Activity: Examination types › External Thesis