Du er ikke logget ind
Beskrivelse
Ziel dieser Arbeit ist die Betrachtung von Steuerungssynthesen und Steuerungsverifikation im Rahmen des formalen Steuerungsentwurfes.