Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
|
lehre:abschlussarbeiten:model_checking_von_matlab_simulink_modellen [2009/06/13 10:37] brauer angelegt |
lehre:abschlussarbeiten:model_checking_von_matlab_simulink_modellen [2009/06/18 15:54] (aktuell) schlich |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| - | ====== Evaluation von Matlab/Simulink-Modelcheckern ====== | + | ====== Anforderungen an einen Modelchecker für Matlab/Simulink ====== |
| ~~NOTOC~~ | ~~NOTOC~~ | ||
| \\ | \\ | ||