Просмотр Інтернет-Освіта-Наука (Internet-Education-Science) по автору "Shkarupylo, Vadym"

Отображаемые элементы 1-1 из 1

    • TLC model checking and the concurrency in specification 

      Shkarupylo, Vadym (ВНТУ, 2016)
      Розглянуто метод перевірки на моделі TLC. Проведено дослідження відповідних часових витрат. У проведеному дослідженні розглянуто темпоральні специфікації композитного веб- сервісу з елементами паралелізму. Порівняно два ...