A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems
Article in IEEE Open Journal of the Industrial Electronics Society (June 2024)
The most recent citing publications are shown below. View all 124 publications that cite this research output on Dimensions.
Article in IEEE Open Journal of the Industrial Electronics Society (June 2024)
Book chapter in Lecture Notes in Computer Science (November 2023)
Article in Modeling and Analysis of Information Systems (June 2023)