A Framework for the Generation of Monitor and Plant Model from Event Logs Using Process Mining for Formal Verification of Event-Driven Systems

Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin*

*Corresponding author for this work

Research output: Contribution to journal › Article › Scientific › peer-review

7 Downloads (Pure)

Fingerprint

Dive into the research topics of 'A Framework for the Generation of Monitor and Plant Model from Event Logs Using Process Mining for Formal Verification of Event-Driven Systems'. Together they form a unique fingerprint.

Engineering

Computer Science