Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Suche


140286 Treffer


× Publikationen


Publikation
  • Nagel, Sabine; Delfmann, Patrick
  • A Library for Detecting Inconsistencies in Declarative Process Models
  • Hajo Reijers; Andrea Marrella; Adela del Río Ortega; Stefanie Rinderle-Ma; Benoît Depaire; Jana-Rebecca Rehse; Flavia Santoro; Francesca Zerbato; Alfonso Eduardo Marquez-Chamorro; Iris Beerepoot; Simone Agostinelli; Johannes De Smedt (Hrsg). BPM 2025 Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Forum : Joint Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Forum at BPM 2025 co-located with 23rd International Conference on Business Process Management (BPM 2025). Aachen: CEUR/RWTH 2025 S. 320 - 327

Publikation

Publikation

Publikation

Publikation

Publikation

Publikation


Publikation
  • Sofronie-Stokkermans, Viorica; Peuter, Dennis; Marohn, Philipp
  • On the Verification of Parametric Systems
  • Fränzle, M.; Niehaus, J.; Westphal, B. (Hrsg). Engineering Safe and Trustworthy Cyber Physical Systems. Cham: Springer 2025 S. 201 - 221 (Lecture Notes in Computer Science, vol. 15471)

Publikation