Sasa Radomirovic: Lerneinheiten im Frühjahrssemester 2015 |
Name | Herr Dr. Sasa Radomirovic |
Departement | Informatik |
Beziehung | Dozent |
Nummer | Titel | ECTS | Umfang | Dozierende | |
---|---|---|---|---|---|
263-4600-00L | Formal Methods for Information Security | 4 KP | 2V + 1U | S. Radomirovic, M. Torabi Dashti |