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:palczynski [2009/06/14 10:58] brauer |
lehrstuhl:mitarbeiter:palczynski [2009/06/14 13:56] palczynski |
||
---|---|---|---|
Zeile 19: | Zeile 19: | ||
===== Forschungstätigkeit ===== | ===== Forschungstätigkeit ===== | ||
+ | * Validierung automatisch generierten Codes | ||
* BMBF-Projekt ZAMOMO | * BMBF-Projekt ZAMOMO | ||
* Im Rahmen meiner Diplomarbeit Anforderungen an einen Modelchecker für Matlab/Simulink entstand eine Evaluationssuite für Matlab/Simulink-Modelchecker | * Im Rahmen meiner Diplomarbeit Anforderungen an einen Modelchecker für Matlab/Simulink entstand eine Evaluationssuite für Matlab/Simulink-Modelchecker | ||
Zeile 64: | Zeile 65: | ||
===== Sprechstunde ===== | ===== Sprechstunde ===== | ||
- | Jeden Montag von 13:00 bis 14:00. | + | Nach Vereinbarung. |