Explore projects

Practical programming & numerical methods - Sebastian Yde Madsen

For the course: Practical Programming and Numerical Methods

Repository for the course: "Praktisk programmering og numeriske metoder"

Data related to the deliverable of the bachelor project with the title "Towards a Digital Twin for an Autonomous Robot"

Exercises for practial programering and numerical methods

A java project that generates tests for RabbitMQFMU based on the dot file exported from tla+.