Seite 1 von 1

MAIS Courses in Summer Term 2018

Verfasst: 9. Apr 2018 09:21
von Markus Tasch
In the summer term 2018 MAIS is offering the following courses (http://www.mais.informatik.tu-darmstadt ... _SS18.html):
- Integrated Course: Formal Methods for Information Security (9CP)
- Lab: Reliable Software Security for Mobile Devices (6CP)
- Seminar: Current Topics in Concurrency and Parallelism (3CP)

The course language is Englisch for all courses. The joint mandatory preparation meeting for the seminar and lab takes place on Monday, 16.04, 16:15 in A313.
FMIS-Ad-SS18.png
FMIS-Ad-SS18.png (241.67 KiB) 588 mal betrachtet
RSSMDLab-Ad-SS18.png
RSSMDLab-Ad-SS18.png (210.35 KiB) 588 mal betrachtet
CTCP2018.png
CTCP2018.png (259.85 KiB) 588 mal betrachtet