703800 Verification using Model Checking (V)

Wintersemester 2005/2006 | Stand: 28.02.2006 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Dr. Stefanus Blom Dr. Stefanus Blom
Dipl.-Math. Christian Vogt Dipl.-Math. Christian Vogt
703800
Verification using Model Checking (V)
VU 3
wöch.
jährlich
Englisch
V-CL, V-QE, V-IMG, V-DERI
Beginn: KW 40
http://cl-informatik.uibk.ac.at/teaching/ws05/vmc/
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Di 04.10.2005
 12.00 - 13.00 SR 12 SR 12 Barrierefrei
Di 04.10.2005
 15.00 - 17.00 rr 14 rr 14 Barrierefrei
Di 11.10.2005
 12.00 - 13.00 SR 12 SR 12 Barrierefrei
Di 11.10.2005
 15.00 - 17.00 rr 14 rr 14 Barrierefrei
Di 18.10.2005
 12.00 - 13.00 SR 12 SR 12 Barrierefrei
Di 18.10.2005
 15.00 - 17.00 rr 14 rr 14 Barrierefrei
Di 25.10.2005
 12.00 - 13.00 SR 12 SR 12 Barrierefrei
Di 25.10.2005
 15.00 - 17.00 rr 14 rr 14 Barrierefrei
Di 08.11.2005
 12.00 - 13.00 SR 12 SR 12 Barrierefrei
Di 08.11.2005
 15.00 - 17.00 rr 14 rr 14 Barrierefrei
Di 15.11.2005
 12.00 - 13.00 SR 12 SR 12 Barrierefrei
Di 15.11.2005
 15.00 - 17.00 rr 14 rr 14 Barrierefrei
Di 22.11.2005
 12.00 - 13.00 SR 12 SR 12 Barrierefrei
Di 22.11.2005
 15.00 - 17.00 rr 14 rr 14 Barrierefrei
Di 29.11.2005
 12.00 - 13.00 SR 12 SR 12 Barrierefrei
Di 29.11.2005
 15.00 - 17.00 rr 14 rr 14 Barrierefrei
Di 06.12.2005
 12.00 - 13.00 SR 12 SR 12 Barrierefrei
Di 06.12.2005
 15.00 - 17.00 rr 14 rr 14 Barrierefrei
Di 13.12.2005
 12.00 - 13.00 SR 12 SR 12 Barrierefrei
Di 13.12.2005
 15.00 - 17.00 rr 14 rr 14 Barrierefrei
Di 10.01.2006
 12.00 - 13.00 SR 12 SR 12 Barrierefrei
Di 10.01.2006
 15.00 - 17.00 rr 14 rr 14 Barrierefrei
Di 17.01.2006
 12.00 - 13.00 SR 12 SR 12 Barrierefrei
Di 17.01.2006
 15.00 - 17.00 rr 14 rr 14 Barrierefrei
Di 24.01.2006
 12.00 - 13.00 SR 12 SR 12 Barrierefrei
Di 24.01.2006
 15.00 - 17.00 rr 14 rr 14 Barrierefrei
Fr 24.03.2006
 14.00 - 16.00 HS 10 HS 10 Barrierefrei 2nd exam