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:56] palczynski |
lehrstuhl:mitarbeiter:palczynski [2009/06/14 13:58] palczynski |
||
---|---|---|---|
Zeile 20: | Zeile 20: | ||
* Validierung automatisch generierten Codes | * Validierung automatisch generierten Codes | ||
- | * BMBF-Projekt ZAMOMO | + | * BMBF-Projekt [[http://www.zamomo.de|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 | ||