Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
|
lehrstuhl:neuigkeiten:sebastian_biallas_promoviert [2016/07/22 16:16] obster angelegt |
lehrstuhl:neuigkeiten:sebastian_biallas_promoviert [2016/07/22 16:17] (aktuell) obster |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Sebastian Biallas promoviert ====== | ====== Sebastian Biallas promoviert ====== | ||
| - | Wir gratulieren unserem Kollegen Sebastian Biallas zur Promotion an unserem Lehrstuhl! Die Prüfung fand am 14.07.2016 zum Thema Verification of Programmable Logic Controller Code using Model Checking and Static Analysis statt. | + | Wir gratulieren unserem Kollegen Sebastian Biallas zur Promotion an unserem Lehrstuhl! Die Prüfung fand am 14.07.2016 zum Thema //Verification of Programmable Logic Controller Code using Model Checking and Static Analysis// statt. |
| \\ | \\ | ||