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

4 Lataukset (Pure)

Hakutulokset