Search Results - "реагирующая программа"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image
    Academic Journal

    On the application of equivalence checking algorithms for program minimization

    V. A. Zakharov, V. V. Podymov

    Труды Института системного программирования РАН, Vol 27, Iss 4, Pp 145-174 (2018)

    Get it
  2. 2
    Cover Image
    Academic Journal

    Modeling and analysis of the behavior of successive reactive programs

    V. A. Zakharov

    Труды Института системного программирования РАН, Vol 27, Iss 2, Pp 221-250 (2018)

    Get it

Search Tools: