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 Dec. 18, 2019 7:16 AM