Verifikation semantischer Integritätsbedingungen in adaptiven Prozess-Management-Systemen mittels Techniken des Model Checkings
Zwischenvortrag Diplomarbeit, David Knuplesch, Ort: O27/521, Zeit: 11:00 Uhr, Datum: 15. September 2008
Das DBIS-Kolloquium ist eine öffentliche Veranstaltung des Instituts, Gäste und Studenten sind hierzu herzlich eingeladen! Die Vorträge lassen sich wie folgt kategorisieren:
Um Sie stets auf dem Laufenden zu halten, bieten wir Ihnen die Veranstaltungen auch als RSS-Feed an: DBIS-Kolloquium