Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
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
-
21
-
22за авторством Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.Отримати повний текст
Опубліковано 2018
Стаття -
23
-
24
-
25
-
26
-
27
-
28
- [1]
- Попередній
- 1
- 2