Cyber-physical Systems (Übung)
Dr. Torsten Klie
Studon
German
Department Informatik
tutorial
Kapitel 3: Entwurfsmethoden
- Zeitbehaftete Automaten
- Hybride Automaten
- StateChart
- Petri-Netze