| Smidig systemutvikling, utfordringer og suksessfaktorer i stor-skala smidig, teamarbeid i utviklingsteam, koordinering, produktledelse m.m. |
26. sep. 2023 |
|
| Eksekveringsstrategier for sanntidssystemer |
5. okt. 2022 |
|
| In-network Acceleration of Distributed In-Memory Machine Learning |
27. sep. 2022 |
|
| In-network Acceleration of Big Data Processing |
27. sep. 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 |
|