Login
- Document type:
- Buchbeitrag
- Author(s):
- Barrientos, Marisol; Winter, Karolin; Mangler, Juergen; Rinderle-Ma, Stefanie
- Title:
- Verification of Quantitative Temporal Compliance Requirements in Process Descriptions Over Event Logs
- Keywords:
- adone, Compliance Verification, Event Logs, Natural Language Text, Process Descriptions, sap, Temporal Compliance Requirements
- Book title:
- Advanced Information Systems Engineering
- Publisher:
- Springer Nature Switzerland
- Year:
- 2023
- Pages:
- 417-433
- Print-ISBN:
- 97830313455939783031345609
- DOI:
- doi:10.1007/978-3-031-34560-9_25
BibTeX