MAIS Kurse im Sommersemester 2018

Moderator: Modellierung, Spezifikation und Semantik

Markus Tasch
Moderator
Moderator
Beiträge: 124
Registriert: 11. Sep 2015 10:57

MAIS Kurse im Sommersemester 2018

Beitrag von Markus Tasch » 9. Apr 2018 09:16

Im Sommersemester 2018 bietet MAIS die folgenden Kurse an (http://www.mais.informatik.tu-darmstadt ... _SS18.html):
- Integrierte Veranstaltung: Formal Methods for Information Security (9CP)
- Praktikum: Reliable Software Security for Mobile Devices (6CP)
- Seminar: Current Topics in Concurrency and Parallelism (3CP)

Die Kurssprache ist jeweils Englisch. Das gemeinsame Vorberietungsmeeting für das Praktikum und das Seminar findet am Montag, 16.04 um 16:15 in A313 statt.
FMIS-Ad-SS18.png
FMIS-Ad-SS18.png (241.67 KiB) 581 mal betrachtet
RSSMDLab-Ad-SS18.png
RSSMDLab-Ad-SS18.png (210.35 KiB) 581 mal betrachtet
CTCP2018.png
CTCP2018.png (259.85 KiB) 581 mal betrachtet
Markus Tasch, M.Sc.
Modeling and Analysis of Information Systems
Department of Computer Science, TU Darmstadt
http://www.mais.informatik.tu-darmstadt.de

Zurück zu „Modellierung, Spezifikation und Semantik“