Login / Signup
Verification of Quantitative Temporal Compliance Requirements in Process Descriptions Over Event Logs.
Marisol Barrientos
Karolin Winter
Juergen Mangler
Stefanie Rinderle-Ma
Published in:
CAiSE (2023)
Keyphrases
</>
event logs
process mining
process model
temporal reasoning
databases
web services
expert systems
end users
software engineering
user interaction
temporal information
temporal constraints