Diese Webseite wird nicht mehr aktualisiert.

Mit 1.10.2022 ist die Fakultät für Physik in der TUM School of Natural Sciences mit der Webseite https://www.nat.tum.de/ aufgegangen. Unter Umstellung der bisherigen Webauftritte finden Sie weitere Informationen.

de | en

Praktikum - Spezifikation und Verifikation (IN0012, IN2106, IN4035)
Practical Course - Spezifikation und Verifikation (IN0012, IN2106, IN4035)

Lehrveranstaltung 0000004097 im SS 2018

Basisdaten

LV-Art Praktikum
Umfang 6 SWS
betreuende Organisation Informatik 21 - Lehrstuhl für Logik und Verifikation (Prof. Nipkow)
Dozent(inn)en Tobias Nipkow
Termine

Zuordnung zu Modulen

weitere Informationen

Lehrveranstaltungen sind neben Prüfungen Bausteine von Modulen. Beachten Sie daher, dass Sie Informationen zu den Lehrinhalten und insbesondere zu Prüfungs- und Studienleistungen in der Regel nur auf Modulebene erhalten können (siehe Abschnitt "Zuordnung zu Modulen" oben).

ergänzende Hinweise vgl. Modulbeschreibung IN2106 und Webseite
Links LV-Unterlagen
TUMonline-Eintrag

Gleiche Lehrveranstaltungen (z. B. in anderen Semestern)

SemesterTitelDozent(en)Termine
WS 2023/4 Praktikum - Automotive Software Entwicklung (IN2106, IN4124) Kolb, N. Speth, S.
Leitung/Koordination: Pretschner, A.
WS 2023/4 Praktikum - Spezifikation und Verifikation (IN0012, IN2106, IN4035) Nipkow, T. Roßkopf, S.
SS 2023 Master-Praktikum - Automotive Software Entwicklung (IN2106, IN4124) Würsching, R. Zieglmeier, V.
Leitung/Koordination: Pretschner, A.
einzelne oder verschobene Termine
SS 2023 Praktikum - Spezifikation und Verifikation (IN0012, IN2106, IN4035) Nipkow, T. Roßkopf, S.
WS 2022/3 Praktikum - Automotive Software Entwicklung (IN2106, IN4124) Speth, S. Zieglmeier, V.
Leitung/Koordination: Pretschner, A.
einzelne oder verschobene Termine
WS 2022/3 Praktikum - Spezifikation und Verifikation (IN0012, IN2106, IN4035) Nipkow, T. Roßkopf, S.
SS 2022 Master-Praktikum - Automotive Software Entwicklung (IN2106, IN4124) Wagener, J. Zieglmeier, V.
Leitung/Koordination: Pretschner, A.
SS 2022 Praktikum - Spezifikation und Verifikation (IN0012, IN2106, IN4035) Nipkow, T. Roßkopf, S.
WS 2021/2 Praktikum - Automotive Software Entwicklung (IN2106, IN4124) Speth, S. Zieglmeier, V.
Leitung/Koordination: Pretschner, A.
einzelne oder verschobene Termine
WS 2021/2 Praktikum - Spezifikation und Verifikation (IN0012, IN2106, IN4035) Nipkow, T. Roßkopf, S.
SS 2021 Master-Praktikum - Automotive Software Entwicklung (IN2106, IN4124) Lipp, S. Zieglmeier, V.
Leitung/Koordination: Pretschner, A.
SS 2021 Praktikum - Spezifikation und Verifikation (IN0012, IN2106, IN4035) Nipkow, T. Roßkopf, S.
WS 2020/1 Praktikum - Automotive Software Entwicklung (IN2106, IN4124) Kacianka, S. Zieglmeier, V.
Leitung/Koordination: Pretschner, A.
einzelne oder verschobene Termine
WS 2020/1 Praktikum - Spezifikation und Verifikation (IN0012, IN2106, IN4035) Nipkow, T. Roßkopf, S.
SS 2020 Master-Praktikum - Automotive Software Entwicklung (IN2106, IN4124) Hutzelmann, T. Kacianka, S. Zieglmeier, V.
Leitung/Koordination: Pretschner, A.
einzelne oder verschobene Termine
SS 2020 Praktikum - Spezifikation und Verifikation (IN0012, IN2106, IN4035) Nipkow, T.
WS 2019/20 Master-Praktikum - Automotive Software Entwicklung (IN2106, IN4124) Kacianka, S. Zieglmeier, V.
Leitung/Koordination: Pretschner, A.
einzelne oder verschobene Termine
WS 2019/20 Praktikum - Spezifikation und Verifikation (IN0012, IN2106, IN4035) Nipkow, T.
SS 2019 Master-Praktikum - Automotive Software Entwicklung (IN2106, IN4124) Hutzelmann, T. Kacianka, S. Zieglmeier, V.
Leitung/Koordination: Pretschner, A.
einzelne oder verschobene Termine
SS 2019 Praktikum - Spezifikation und Verifikation (IN0012, IN2106, IN4035) Nipkow, T.
WS 2018/9 Master-Praktikum - Automotive Software Entwicklung (IN2106, IN4124) Kacianka, S.
Leitung/Koordination: Pretschner, A.
WS 2018/9 Praktikum - Spezifikation und Verifikation (IN0012, IN2106, IN4035) Nipkow, T.
SS 2018 Master-Praktikum - Automotive Software Entwicklung (IN2106, IN4124) Hutzelmann, T. Kacianka, S.
Leitung/Koordination: Pretschner, A.
WS 2017/8 Master-Praktikum - Automotive Software Entwicklung (IN2106, IN4124) Kacianka, S.
Leitung/Koordination: Pretschner, A.
WS 2017/8 Master-Praktikum - Spezifikation und Verifikation (IN2106, IN4035) Eberl, M. Hupel, L. Mansour, M. Nipkow, T.
SS 2017 Master-Praktikum - Automotive Software Entwicklung (IN2106, IN4124) Hutzelmann, T. Kacianka, S.
Leitung/Koordination: Pretschner, A.
SS 2017 Master-Praktikum - Spezifikation und Verifikation (IN2106, IN4035) Nipkow, T.
WS 2016/7 Master-Praktikum - Automotive Software Entwicklung (IN2106, IN4124) Kacianka, S.
Leitung/Koordination: Pretschner, A.
WS 2016/7 Master-Praktikum - Spezifikation und Verifikation (IN2106, IN4035) Hupel, L. Nipkow, T.
SS 2016 Master-Praktikum - Spezifikation und Verifikation (IN2106, IN4035)
WS 2015/6 Master-Praktikum - Automotive Software Entwicklung (IN2106, IN4124)
WS 2015/6 Master-Praktikum - Spezifikation und Verifikation (IN2106, IN4035)
SS 2015 Master-Praktikum - Automotive Software Entwicklung (IN2106, IN4124)
SS 2015 Master-Praktikum - Windows App Entwicklung (IN2106, IN4151)
SS 2014 Master-Praktikum - Automotive Software Entwicklung (IN2106, IN4124)
SS 2014 Master-Praktikum - RACE-Praktikum (IN2106, IN4169)
SS 2014 Master-Praktikum - Windows App Entwicklung (IN2106, IN4151)
WS 2013/4 Master-Praktikum - Windows App Entwicklung (IN0012, IN2106, IN4151)
SS 2013 Master-Praktikum - Seamless Model-based Development of Reactive Systems (IN2106, IN4152)
SS 2013 Master-Praktikum - Windows App Development (IN2106, IN4151)
WS 2012/3 Master-Praktikum - Verification of Automata Constructions (IN2106, IN8904, IN4143)
WS 2012/3 Master-Praktikum - Windows App Entwicklung (IN2106, IN4151)
WS 2012/3 Praktikum: Mine Intelligent Networking Robot Swarm (IN0012, IN2106, IN4145)
Nach oben