Showing 1 - 3 results of 3 for search 'V. A. Nepomniaschy', query time: 0.01s Refine Results
  1. 1
    Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets

    Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets by S. A. Chernenok, V. A. Nepomniaschy

    Published 2014-12-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Deductive Verification of the Sliding Window Protocol

    Deductive Verification of the Sliding Window Protocol by D. A. Chkliaev, V. A. Nepomniaschy

    Published 2015-03-01
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Verification of Telecommunication Systems Specified by Communicating Finite Automata with the Help of Coloured Petri Nets

    Verification of Telecommunication Systems Specified by Communicating Finite Automata with the Help of Coloured Petri Nets by D. M. Beloglazov, M. Yu. Mashukov, V. A. Nepomniaschy

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

Search Tools: