Courses in SS 2020
Number | Courses |
---|---|
L.079.05603 | Softwaremodellierung mit formalen Methoden |
L.079.05817 | Model Checking |
Seminar: Advanced Techniques in Software Analysis |
Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.
Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right)
Number | Courses |
---|---|
L.079.05603 | Softwaremodellierung mit formalen Methoden |
L.079.05817 | Model Checking |
Seminar: Advanced Techniques in Software Analysis |
The University for the Information Society