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*

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

7 Lataukset (Pure)

Sormenjälki

Sukella tutkimusaiheisiin 'A Framework for the Generation of Monitor and Plant Model from Event Logs Using Process Mining for Formal Verification of Event-Driven Systems'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Engineering

Computer Science