V3 Ã2, 6 ECTS - Fachgruppe Informatik an der RWTH Aachen
V3 Ã2, 6 ECTS - Fachgruppe Informatik an der RWTH Aachen
V3 Ã2, 6 ECTS - Fachgruppe Informatik an der RWTH Aachen
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Bereich 1: Theoretische <strong>Informatik</strong><br />
Softwaremodellierung und Verifikation<br />
Lehrstuhl <strong>Informatik</strong> 2<br />
Prof. Dr. Ir. Joost-Pieter Katoen, Priv.-Doz. Dr. Thomal Noll<br />
Introduction to Model Checking (<strong>V3</strong> Ü2, 6 <strong>ECTS</strong>)<br />
V: Mo. 13:15 – 14:45 5052<br />
Di. 14:00 – 15:30 AH II<br />
Ü: Mi. 15:45 – 17:15 AH V<br />
Start: 10.10.2011<br />
Sem<strong>an</strong>tik und Verifikation von Software (<strong>V3</strong> Ü2, 6 <strong>ECTS</strong>)<br />
V: Mi. 10:00-11:30 AH II<br />
Do. 13:30-15:00 AH I<br />
Ü: Di. 08:15-09:45 AH IV<br />
Di. 11:45-13:10 AH VI<br />
Start: 12.10.2011<br />
B<br />
M D<br />
M D
Change language