Ph.D. course on real-time systems

Alexandre David (Andet)

Aktivitet: Foredrag og mundtlige bidragUndervisning og kursusvirksomhed ved andre universiteter

Beskrivelse

Kim held lectures on the 16/9. I held exercises on UPPAAL on the 17/9.
Emneord: UPPAAL, timed automata, verification
Periode16 okt. 200617 okt. 2006
Sted for afholdelseReykjavík University, Island