Search Results - "519.686.2"

Suggested Topics within your search.
  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Cover Image

    A method for guided search and test scenarios generation in verification of formal models of asynchronous systems by Kolchin, A.V.

    Published in PROBLEMS IN PROGRAMMING (2026)
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

    Test scenarios generation based on formal model by Letichevsky, A.A., Kolchin, A.V.

    Published in PROBLEMS IN PROGRAMMING (2026)
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Cover Image

    Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems by Levchenko, R.I., Sudakov, A.A., Pogorilyy, S.D., Boiko, Y.V.

    Published in PROBLEMS IN PROGRAMMING (2026)
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: