02224 Modelling and Analysis of Real-Time Systems        Spring 2024

This page may provide specific material for some of the projects. Other material is to be found on DTU Learn.

Links

• Baggage Sorting Project (with updates), simulator instructions, Lejos issues

• Scheduling Modelling

• UPPAAL