| Title |
Type |
Location |
Serial |
Start |
End |
All Day |
|
|
Process Algebra |
Presentation |
E1.3, Room 528 |
|
24.01.17 |
24.01.17 |
No |
|
|
Petri Nets |
Presentation |
E1.3, Room 528 |
|
28.01.17 |
28.01.17 |
No |
|
|
Event Structures |
Presentation |
E1.3, Room 528 |
|
24.01.17 |
24.01.17 |
No |
|
|
Probabilistic Automata and PCCS |
Presentation |
E1.3, Room 528 |
|
17.01.17 |
17.01.17 |
No |
|
|
Model Based Testing |
Presentation |
E1.3, Room 528 |
|
17.01.17 |
17.01.17 |
No |
|
|
Interface Automata |
Presentation |
E1.3, Room 528 |
|
28.01.17 |
28.01.17 |
No |
|
|
Bisimulation Minimization |
Presentation |
E1.3, Room 528 |
|
28.01.17 |
28.01.17 |
No |
|
|
Hybrid Automata |
Presentation |
E1.3, Room 528 |
|
31.01.17 |
31.01.17 |
No |
|
|
Probabilistic Timed Automata |
Presentation |
E1.3, Room 528 |
|
31.01.17 |
31.01.17 |
No |
|
|
Spectral Analysis |
Presentation |
E1.3, Room 528 |
|
28.01.17 |
28.01.17 |
No |
|
