1. EIRZNTU - Electronic Institutional Repository of "Zaporizhzhia Polytechnic" National University
  2. Інститут інформатики та радіоелектроніки
  3. Факультет комп'ютерних наук і технологій
  4. Кафедра комп'ютерних систем та мереж (Кафедра КС та М)
  5. Наукові статті кафедри КС та М

Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-4 of 4 (Search time: 0.0050 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2015Модифицированый метод распознавания текста на стандартизированном изображенииКасьян, Констянтин Миколайович; Касьян, Константин Николаевич; Kasyan, Konstantin M.; Братчиков, Володимир Володимирович; Братчиков, Владимир Владимирович; Bratchykov, Volodymyr V.; Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.
2016The investigation of TLC model checker propertiesШкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Томічич, Ігор; Томичич, Игорь; Tomičić, Igor; Касьян, Констянтин Миколайович; Касьян, Константин Николаевич; Kasyan, Konstantin M.
2010Прогнозирование годового роста трафика Интернет, на основе подобранной модели временного рядаШкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович; Касьян, Констянтин Миколайович; Kasyan, Konstantin M.; Касьян, Константин Николаевич
2018An approach to increase the effectiveness of TLC verification with respect to the concurrent structure of TLA+ specificationШкарупило, Вадим Вікторович; Томічич, Ігор; Касьян, Констянтин Миколайович; Альсаядех, Жаміль; Shkarupylo, Vadym V.; Tomičić, Igor; Kasyan, Konstantin M.; Alsayaydeh, Jamil; Шкарупило, Вадим Викторович; Томичич, Игорь; Касьян, Константин Николаевич; Альсаядех, Жамиль

Discover