| Title | Author | Supervisor(s) | sensors | Date of submission |
|---|---|---|---|---|
|
Timed Linear Temporal Logic of Rewriting Model Checking for Real-Time Maude |
Tore Norderud | Peter Csaba Ölveczky | May 2019 | |
| Partially Ordered Sets with Interfaces: A Novel Algebraic Approach for Concurrrency | Ratan Bahadur Thapa | Christian Johansen, Martin Steffen, Uli Fahrenberg (Ecole Politechnique) | May 2019 | |
| Morten Aske Kolstad | Martin Steffen | Dec. 2019 |
Completed master's theses (2019)
Published May 18, 2019 10:10 AM
- Last modified Nov. 26, 2024 9:49 AM