Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| — | lehre:abschlussarbeiten:ein_ansatz_zum_model-checking_von_software_fuer_eingebettete_systeme [2024/10/30 03:13] (aktuell) – angelegt - Externe Bearbeitung 127.0.0.1 | ||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| + | ====== Ein Ansatz zum Model-Checking von Software für eingebettete Systeme ====== | ||
| + | ===== Student ===== | ||
| + | Michael Rohrbach | ||
| + | |||
| + | ===== Betreuer ===== | ||
| + | [[: | ||