MAIS Courses in Summer Term 2018

Moderator: Static and Dynamic Program Analysis

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

MAIS Courses in Summer Term 2018

Beitrag 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 (241.67 KiB) 951 mal betrachtet
RSSMDLab-Ad-SS18.png (210.35 KiB) 951 mal betrachtet
CTCP2018.png (259.85 KiB) 951 mal betrachtet
Markus Tasch, M.Sc.
Modeling and Analysis of Information Systems
Department of Computer Science, TU Darmstadt

Zurück zu „Static and Dynamic Program Analysis“