Diplomarbeit: Verhaltensdefinition eines konkreten Mikrocontrollers durch eine ASM
Diplomarbeit: Verhaltensdefinition eines konkreten Mikrocontrollers durch eine ASM
Vollständige ASM-Spezifikation eines Mikrocontrollers (Atmel AVR) durch eine abstrakte Zustandsmaschine.
Betreuer der Diplomarbeit
| Dr. Werner Gabrisch | werner.gabrisch@informatik.uni-halle.de | Raum 3.21, Tel. 0345-55-24741 |
Weitere Projekt- oder Diplomarbeitsthemen des Lehrstuhls können jederzeit bei einem der Mitarbeiter erfragt werden. Ebenso können Themen, das Forschungsgebiet betreffend, von Studenten vorgeschlagen werden.