Харвестер відкритої науки НАН України

insertion modeling інсерційне моделювання 5 algebraic modeling 4 алгебраїчне моделювання 4 formal verification 3 алгебра поведінок 3 формальна верифікація 3 UDC 519.85 2 algebra of behaviors 2 code vulnerabilities 2 cyber attack 2 cyber security 2 formal methods 2 fuzzy testing 2 machine learning 2 neural networks 2 УДК 519.85 2 вразливості коду 2 кібератака 2 кібербезпека 2 машинне навчання 2 нейронні мережі 2 нечітке тестування 2 формальні методи 2 UDC 004.05 1 behavior algebra 1 decentralization 1 modeldriven development 1 molecular modeling 1 proton therapy 1