Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehre:wise0910:formale_methoden [2009/06/08 12:00] schlich |
lehre:wise0910:formale_methoden [2009/06/08 12:00] schlich |
||
|---|---|---|---|
| Zeile 20: | Zeile 20: | ||
| * C-Code | * C-Code | ||
| * ggf. MATLAB Modelle | * ggf. MATLAB Modelle | ||
| + | \\ | ||
| ===== Termine ===== | ===== Termine ===== | ||