KIT | KIT-Bibliothek | Impressum | Datenschutz

Verification of Data-Value-Aware Process Models

Ordoni, Elaheh


Volltext §
DOI: 10.5445/IR/1000180924
Veröffentlicht am 15.04.2025
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Hochschulschrift
Publikationsdatum 15.04.2025
Sprache Englisch
Identifikator KITopen-ID: 1000180924
Verlag Karlsruher Institut für Technologie (KIT)
Umfang 108 S.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Karlsruher Institut für Technologie (KIT)
Prüfungsdatum 19.01.2024
Nachgewiesen in OpenAlex
Referent/Betreuer Böhm, Klemens
Oberweis, Andreas
KIT – Die Universität in der Helmholtz-Gemeinschaft
KITopen Landing Page