Masteroppgaver PSY – Side 2
| Sidetittel | Publisert | Veileder(e) |
|---|---|---|
| Model-based engineering / Digital twins | 2. sep. 2024 | |
| Eksekveringsstrategier for sanntidssystemer | 5. okt. 2022 | |
| Bruk av Maude med eksterne objekter | 22. okt. 2021 | |
| Modellering av litet kraftverk i HybridSynchAADL | 22. okt. 2021 | |
| Modellering av selvkjørende ting i Maude | 22. okt. 2021 | |
| Formell modellering/analyse i Maude | 22. okt. 2021 |