703521 Model-Checking

Sommersemester 2011 | Stand: 09.05.2011 LV auf Merkliste setzen
703521
Model-Checking
VO 2
4
wöch.
jährlich
Englisch
Model-Checking on-the-fly; Der Mü-Kalkül; S1S; Model-Checking von Realzeit-Systemen; Beherrschung des „state-space explosion“-Problems
Schriftlich oder mündlich, hängt von Teilnehmerzahl ab
Christel Baier und Joost-Pieter Katoen, Principles of Model Checking, MIT Press, 2008
Beginn:
Gruppe 0
Datum Uhrzeit Ort
Mi 09.03.2011
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Mi 16.03.2011
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Mi 23.03.2011
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Mi 30.03.2011
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Mi 06.04.2011
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Mi 13.04.2011
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Mi 04.05.2011
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Mi 11.05.2011
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Mi 18.05.2011
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Mi 25.05.2011
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Mi 08.06.2011
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Mi 15.06.2011
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 16.06.2011
10.15 - 11.45 HS 10 HS 10 Barrierefrei
Mi 22.06.2011
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Mi 29.06.2011
08.15 - 10.00 HS 10 HS 10 Barrierefrei