Lecture: "Formal Methods for Information Security" in SS17

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

Lecture: "Formal Methods for Information Security" in SS17

Beitrag von Markus Tasch » 5. Apr 2017 13:30

In the summer term 2017, the MAIS group (Prof. Mantel) offers the lecture "Formal Methods for Information Security" (9CP, 6 SWS, TUCaN ID 20-00-0362-iv).

Further information can be found on the course webpage (http://www.mais.informatik.tu-darmstadt ... -ss17.html).
FMIS-Ad-SS17.png
FMIS-Ad-SS17.png (186.68 KiB) 496 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 „Archiv“