Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
lehrstuhl:mitarbeiter:biallas [2015/01/27 13:52] biallas [Kontakt] |
lehrstuhl:mitarbeiter:biallas [2015/01/27 13:54] biallas [Kontakt] |
||
---|---|---|---|
Zeile 18: | Zeile 18: | ||
**Sprechstunde: ** nach Vereinbarung | **Sprechstunde: ** nach Vereinbarung | ||
- | |||
- | |||
===== Über mich ===== | ===== Über mich ===== | ||
Ich bearbeite das DFG Projekt "Verifikation von SPS-Programmen mittels Model-Checking und statischer Analyse". | Ich bearbeite das DFG Projekt "Verifikation von SPS-Programmen mittels Model-Checking und statischer Analyse". |