TU Darmstadt / ULB / TUbiblio

Formal Based Correctness Check for ePASS-IoS 1.1 Process Models with Integrated User Support for Error Correcting

Borgert, Stephan ; Mühlhäuser, Max
Hrsg.: Nanopoulos, Alexandros ; Schmidt, Werner (2014)
Formal Based Correctness Check for ePASS-IoS 1.1 Process Models with Integrated User Support for Error Correcting.
doi: 10.1007/978-3-319-06065-1_2
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2014
Herausgeber: Nanopoulos, Alexandros ; Schmidt, Werner
Autor(en): Borgert, Stephan ; Mühlhäuser, Max
Art des Eintrags: Bibliographie
Titel: Formal Based Correctness Check for ePASS-IoS 1.1 Process Models with Integrated User Support for Error Correcting
Sprache: Deutsch
Publikationsjahr: 2014
Verlag: Springer
Buchtitel: {S-BPM} {ONE} - Scientific Research - 6th International Conference, {S-BPM} {ONE} 2014, Eichst{\"{a}}tt, Germany, April 22-23, 2014. Proceedings
Reihe: Lecture Notes in Business Information Processing
Band einer Reihe: 170
DOI: 10.1007/978-3-319-06065-1_2
ID-Nummer: TUD-CS-2014-1082
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Telekooperation
Hinterlegungsdatum: 31 Dez 2016 12:59
Letzte Änderung: 14 Jun 2021 06:14
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen