Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
|
lehre:wise2324:formale_methoden_fuer_steuerungssoftware [2023/09/27 10:56] henn angelegt |
lehre:wise2324:formale_methoden_fuer_steuerungssoftware [2024/01/11 10:45] (aktuell) voelker |
||
|---|---|---|---|
| Zeile 49: | Zeile 49: | ||
| === Kontakt === | === Kontakt === | ||
| + | * formale_methoden(at)embedded(dot)rwth-aachen(dot)de | ||
| * [[:lehrstuhl:mitarbeiter:henn]] | * [[:lehrstuhl:mitarbeiter:henn]] | ||
| * [[:lehrstuhl:mitarbeiter:voelker]] | * [[:lehrstuhl:mitarbeiter:voelker]] | ||