Showing 1 - 2 results of 2 for search 'Valeriy Vyatkin', 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:
  2. 2
    Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures

    Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures by Polina Ovsiannikova, Antti Pakonen, Dmitry Muromsky, Maksim Kobzev, Viktor Dubinin, Valeriy Vyatkin

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

Search Tools: