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

Stephan Borgert, Max Mühlhäuser. Formal Based Correctness Check for ePASS-IoS 1.1 Process Models with Integrated User Support for Error Correcting. In Alexandros Nanopoulos, Werner Schmidt, editors, S-BPM ONE - Scientific Research - 6th International Conference, S-BPM ONE 2014, Eichstätt, Germany, April 22-23, 2014. Proceedings. Volume 170 of Lecture Notes in Business Information Processing, pages 20-40, Springer, 2014. [doi]

Abstract

Abstract is missing.