Title | Author | Supervisor(s) | Date of submission |
---|---|---|---|
Araz Abishov | Martin Steffen, Volker Stolz | 1. June 2020 | |
Per Ove Ringdal | Volker Stolz, Martin Steffen | 15. June 2020 | |
Verifying EVA. Formal Verification of the software deciding Norwegian governmental elections | Henrik Torland Klev | Christian Johansen, Martin Steffen | 15. June 2020 |
Developing an Access Control solution for IoT Gateways applied to Smart Home Care | Ugur Bayram | Christian Johansen, Hamed Arshad | 16. Juli 2020 |
Compile-Time Reflection in Rust | Asbjørn Gaarde | Martin Steffen | 15. Juli 2020 |
Completed master's theses (2020)
Published June 2, 2020 8:02 AM
- Last modified Aug. 3, 2020 9:34 AM