- Titel:
Verification of Quantitative Temporal Compliance Requirements in Process Descriptions Over Event Logs
- Dokumenttyp:
- Buchbeitrag
- Autor(en):
- Barrientos, Marisol; Winter, Karolin; Mangler, Juergen; Rinderle-Ma, Stefanie
- Stichworte:
- adone, Compliance Verification, Event Logs, Natural Language Text, Process Descriptions, sap, Temporal Compliance Requirements
- Buchtitel:
- Advanced Information Systems Engineering
- Verlag / Institution:
- Springer Nature Switzerland
- Jahr:
- 2023
- Seiten/Umfang:
- 417-433
- Print-ISBN:
- 97830313455939783031345609
- DOI:
- doi:10.1007/978-3-031-34560-9_25
- BibTeX