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