Modellierung und Analyse nebenläufiger Systeme mit Petrinetzen
Studiengänge
Angewandte Mathematik Master
Informatik Master
Informations- und Medientechnik Master
Modul 12524 Modellierung und Analyse nebenläufiger Systeme mit Petrinetzen
Lehrinhalt:
Übung zur Vorlesung 128120
Lehrstuhl Datenstrukturen und Softwarezuverlässigkeit
Institut für Informatik