Available Master´s theses from Reliable Systems (PSY) – Page 2
| Page title | Published | Supervisor(s) |
|---|---|---|
| Model-based engineering / Digital twins | Sep. 2, 2024 | |
| Eksekveringsstrategier for sanntidssystemer | Oct. 5, 2022 | |
| Bruk av Maude med eksterne objekter | Oct. 22, 2021 | |
| Modellering av litet kraftverk i HybridSynchAADL | Oct. 22, 2021 | |
| Modellering av selvkjørende ting i Maude | Oct. 22, 2021 | |
| Formell modellering/analyse i Maude | Oct. 22, 2021 |