Explore projects
-
-
Updated
-
-
-
Updated
-
A java project that generates tests for RabbitMQFMU based on the dot file exported from tla+.
Updated -
-
The repository contains a collection of FMUs which are used to test the COE
Updated -
Updated
-
Exercises for practial programering and numerical methods
Updated -
Repository for the course: "Praktisk programmering og numeriske metoder"
Updated -
Git repo for the 2022 Practical Programming and Numerical Methods course
Updated