Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
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
-
1за авторством Azarova, A. O., Roik, A. M., Poplavskiy, A. V., Pavlovskiy, P. V., Tkachuk, A. P.Отримати повний текст
Опубліковано 2018
Стаття -
2за авторством Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.Отримати повний текст
Опубліковано 2015
Стаття -
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.Отримати повний текст
Опубліковано 2023
Стаття -
14
-
15
-
16
-
17
-
18
-
19
-
20