Cyber-physical Systems (Übung)
Dr. Torsten Klie
Studon
Deutsch
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Vorlesung
Ringvorlesung
Übung
Kapitel 3: Entwurfsmethoden
- Zeitbehaftete Automaten
- Hybride Automaten
- StateChart
- Petri-Netze