Showing 1 - 5 results of 5 for search 'Potiyenko, S.V.', query time: 0.03s Refine Results
  1. 1
    Symbolic modeling of basic protocols systems with arbitrary number of agents
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Generation of multipurpose formal models from legacy code
    by Potiyenko, S.V., Kolchin, A.V.
    Published 2023
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Static method of consistency and completeness checking in formal model of distributed software systems
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    A method for business logic extraction from legacy COBOL code of industrial systems
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Survey on modern tools and methods of formal models verification
    Get full text
    Article
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search