Cyber-physical Systems (Übung)
Dr. Torsten Klie
Studon
German
Department Informatik
lecture
tutorial
Zustammenstellung von Archivmaterial zu den Themen:
Kapitel 3: Entwurfsmethoden - Model-based Design - Model of Computation - Zeitbehaftete Automaten - Hybride Automaten - State Charts - Esterel - Petrinetze