Open Science Harvester of NAS of Ukraine

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