Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:palczynski [2009/06/14 13:53] palczynski |
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 | ||