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

formal verification 5 формальна верифікація 5 IPCL 3 UDC 004.415.52 3 UDC 519.85 3 composition-nominative languages 3 concurrent program 3 formal model 3 insertion modeling 3 interleaving 3 УДК 004.415.52 3 УДК 519.85 3 композиционно-номинативные языки 3 композиційно-номінативні мови 3 параллельная программа 3 формальна модель 3 формальная верификация 3 інсерційне моделювання 3 2 13B25 2 13J05 2 159.95 2 46H30 2 \(\delta\)-function 2 algebraic matching 2 algebraic modeling 2 behavior algebra 2 commutative semi-group 2 copolynomial 2 dialogue support 2