02224 Real-Time Systems        Spring 2012

This page provides overall information about the course. News will be announced as CampusNet Messages.

Links

• General information
• Current lecture plan
• Course Project, project groups, simulation instructions, Lejos issues, testing instructions

• UPPAAL, TimesTool,