Seminar: Spezifikationsmethoden für
eingebettete Systeme

Betreuer Jörg Niere



Inhalt

Die zu vergebenen Themen kommen aus dem Bereich Automaten, Statecharts und ihre Semantik, Matlab Simulink Modelle, Codegenerierung aus Modellen, Resourcenspezifikation, etc. Bei Detailfragen und Anmeldungen bitte eine Mail an den Betreuer schicken.