інсерційне моделювання 4 UDC 519.85 3 insertion modeling 3 УДК 519.85 3 алгебраїчне моделювання 3 algebraic modeling 2 formal methods 2 молекулярне моделювання 2 формальні методи 2 UDC 004.05 1 algebraic modelling 1 behavior algebra 1 decentralization 1 formal verification 1 insertion modelling 1 modeldriven development 1 molecular modeling 1 molecular modelling 1 proton therapy 1 quantum interactions 1 security properties 1 supply chain 1 tokenomic equilibrium 1 tokenomics 1 УДК 004.05 1 алгебра поведінок 1 властивості безпеки 1 децентралізація 1 квантові взаємодії 1 ланцюжок постачання 1