Cyber-Physical Systems (Übung)
Dr. Torsten Klie
Studon
Deutsch
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Kapitel 3: Entwurfsmethoden
- Zeitbehaftete Automaten
- Hybride Automaten
- State Charts