formal model 3 формальна модель 3 1 UDC 004.414.23+004.416.6+004.4’414+004.4’418 1 UDC 681.3 1 cybersecurity 1 diagnostics 1 expert system 1 formal model of the Inetrnet routing 1 global routing route hijack route leak 1 hypoxia therapy 1 inferential mechanism 1 legacy systems 1 medicine 1 parallel computing 1 parallel computing on graphics processing units 1 production rules 1 the Rete algorithm 1 translation 1 verificatoin of formal models 1 «comparison-operation» procedure 1 Верификация формальных моделей 1 Верифікація формальних моделей 1 УДК 004.414.23+004.416.6+004.4’414+004.4’418 1 УДК 681.3 1 алгоритм Rete 1 глобальна маршрутизація 1 гіпокситерапія 1 діагностика 1 експертна система 1