MAIS Courses in Summer Term 2018

Moderator: Static and Dynamic Program Analysis

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

MAIS Courses in Summer Term 2018

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

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) 627 mal betrachtet
RSSMDLab-Ad-SS18.png
RSSMDLab-Ad-SS18.png (210.35 KiB) 627 mal betrachtet
CTCP2018.png
CTCP2018.png (259.85 KiB) 627 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 „Static and Dynamic Program Analysis“