NUOS Repository

Browsing by Subject "parameterized model"

Browsing by Subject "parameterized model"

Sort by: Order: Results:

  • Дорогий, Я. Ю.; Цуркан, В. В.; Dorogyy, Yaroslaw Yu.; Tsurkan, Vasyl V. (2020)
    Анотація. Фактично сьогодні відсутній сучасний огляд методів верифікації параметризованих моделей, який би чітко відповів на питання щодо доцільності використання того чи іншого підходу до верифікації параметризованих ...