Computational Models for Embedded Systems
- CMES-SemLectureGrades - updated 18 June 2013- hour:09:50 - Lichidare
- Students may deliver late seminar homeworks until 24 may 2013, hour:20:00
- Final Exam Schedule-last update 25 April 2013 and 23 may 2013 AND 6 JUNE 2013 and 17 june
- EXAM - updated 26 may 2013
- Come in time at the exam! It may be possible to take the exam in 2 rounds (if too many students).
- For each exam round students must answer the questions in 30 minutes.
- Each student must bring to the exam his student card and ID card.
- Project FSM or PN - delivery documentation - updated 29 april 2013
- Anunt 29 aprilie 2013 - Curs CMES+Lab
- Exam Sample Questions - updated 7 may 2013
|
TENTATIVE SCHEDULER (subject to change) |
|||||||
|
Lecture |
Seminar/Laboratory |
||||||
|
No |
Date |
Activity |
No |
Activity |
|
||
|
1 |
26feb |
1 |
|
||||
|
2 |
5 mar |
|
|||||
|
3 |
12 mar |
2 |
Model checking-JSpin - homework problem-updated 17March2013 |
|
|||
|
4 |
19 mar |
|
|||||
|
5 |
26 mar |
3 |
|
||||
|
6 |
2 apr |
|
|||||
|
7 |
Monday, 8 April 2013 Hours 16-18 Room C335 |
4 |
16 April 2013 Hours 18-20 Room 308 Choose project for FSM or PN Deliver Model checking homework |
|
|||
|
8 |
9 April 2013 Hours 16-18 Room C310 |
|
|||||
|
9 |
16 April 2013 Hours 16-18 Room C310 |
5 |
Friday, 19 April 2013 Hours 16-18 Room L338 Use FSM and PN to model an ES |
|
|||
|
10 |
23 April 2013 Hours 16-18 Room C310 |
Dynamical Systems - LECTURE 10 - updated 22 april 2013 |
|
||||
|
|
|
||||||
|
11 |
30 April 2013 Hours 16-18 Room C310 |
Timed Models - Lecture 11-updated 9 May 2013 Hybrid Systems-Lecture 12-updated 9 May 2013 |
6 |
30 April 2013 Hours 18-20 Room L308 Deliver Resume of paper Report - by email Deliver Project FSM or PN - in 21 May 2013 - by email |
|
||
|
|
|
|
|
||||