Cyber-Physical Systems (Übung) - WS23/24
Dr. Torsten Klie
Studon
Deutsch
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Vorlesung
Übung
Kapitel 3: Entwurfsmethoden
- Hybride Automaten
- State Charts
- Synchrone Programmiersprachen (Esterel)
- Petri-Netze