|
Course Catalog 2012-2013
TTE-5406 Formal Methods in Factory Automation, 5 cr
|
Lessons
Study type | P1 | P2 | P3 | P4 | Summer | Lecture times and places |
|
|
|
|
|
|
|
Person responsible:
Corina Postelnicu
Assessment scale:
Numerical evaluation scale (1-5) will be used on the course
Additional information of course implementation:
Labs are scheduled in teh mornings (any 2h slot from 08-14, depending how many student groups are there) on the 4.09, 11.09, 18.09, 25.09, 09.10, 16.10. Most probable location is RL201. Small changes still possible (e.g. the lab on 25.09 may be delayed by one week). You can now find the course webpage in Moodle2. Register in Moodle2 as a participant in the course. All future notifications will come via Moodle.