| Title |
Type |
Location |
Serial |
Start |
End |
All Day |
|
|
Bisimulation Minimization |
Presentation |
E1.3, Room 528 |
|
28.01.17 |
28.01.17 |
No |
|
|
Casting |
Casting |
E1.3, Raum 528 |
|
15.11.16 |
15.11.16 |
No |
|
|
CCS, CSP and all that & best two TA presentations |
Presentation |
|
|
22.11.16 |
22.11.16 |
No |
|
|
Event Structures |
Presentation |
E1.3, Room 528 |
|
24.01.17 |
24.01.17 |
No |
|
|
Hybrid Automata |
Presentation |
E1.3, Room 528 |
|
31.01.17 |
31.01.17 |
No |
|
|
Interface Automata |
Presentation |
E1.3, Room 528 |
|
28.01.17 |
28.01.17 |
No |
|
|
Kick-Off Meeting |
Kick-Off |
Building E1.3, Room 528 |
|
25.10.16 |
25.10.16 |
No |
|
|
Model Based Testing |
Presentation |
E1.3, Room 528 |
|
17.01.17 |
17.01.17 |
No |
|
|
Petri Nets |
Presentation |
E1.3, Room 528 |
|
28.01.17 |
28.01.17 |
No |
|
|
Priced and Energy Timed Automata |
Presentation |
E 1.3, Room 528 |
|
10.01.17 |
10.01.17 |
No |
|
