Benutzer: Gast  Login
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