Showing 1 - 1 results of 1 for search 'Victor Dubinin', query time: 0.01s Refine Results
  1. 1
    A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems

    A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems by Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin

    Published 2024-01-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: