Showing 1 - 1 results of 1 for search 'N. V. Vizovitin', query time: 4.63s Refine Results
  1. 1
    Application of Coloured Petri Nets for Verification of Scenario Control Structures in UCM Notation

    Application of Coloured Petri Nets for Verification of Scenario Control Structures in UCM Notation by N. V. Vizovitin, V. A. Nepomniaschy, A. A. Stenenko

    Published 2016-12-01
    Get full text
    Article

Search Tools: