Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| — | lehre:abschlussarbeiten:symbolisches_model-checking_mit_mc_square [2024/10/30 03:13] (aktuell) – angelegt - Externe Bearbeitung 127.0.0.1 | ||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| + | ====== Symbolisches Model-Checking mit [mc]square ====== | ||
| + | ===== Student ===== | ||
| + | [[: | ||
| + | |||
| + | ===== Tutor ===== | ||
| + | [[: | ||