Autor der Publikation

User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes.

, , , , und . BPM, Volume 8659 von Lecture Notes in Computer Science, Seite 301-316. Springer, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Datenbankunterstützung für den ingenieurwissenschaftlichen Entwurf., , , und . Informatik Spektrum, 8 (3): 113-125 (1985)A practical data-flow verification scheme for business processes., , und . Inf. Syst., (2019)User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes., , , , und . BPM, Volume 8659 von Lecture Notes in Computer Science, Seite 301-316. Springer, (2014)Semantic Support for Security-Annotated Business Process Models., , , , , , , und . BMMDS/EMMSAD, Volume 81 von Lecture Notes in Business Information Processing, Seite 284-298. Springer, (2011)Collision of Constrained Work Spaces: A Unifying Concept for Design Interactions., , und . CoopIS, Seite 25-35. IEEE Computer Society, (1997)Building Conference Proceedings Requires Adaptable Workflow and Content Management., , , und . VLDB, Seite 1129-1139. ACM, (2006)Modulare Aufbereitung von multimedialen Lerninhalten für eine heterogene Lernumgebung., , und . D-CSCL, Seite 267-268. Physica-Verlag / Springer, (2000)An Event/Trigger Mechanism to Enforce Complex Consistency Constraints in Design Databases., , und . SIGMOD Record, 15 (3): 22-36 (1986)DAMASCUS - ein Datenhaltungssystem für den VLSI-Entfurf., , und . BTW, Seite 70-72. (1985)Anforderungen technischer Anwendungen an Datenbanksysteme., , , , , , , , , und . BTW, Seite 1-26. (1985)