Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
6
UDC 004.415.2.045 (076.5)
6
УДК 004.415.2.045 (076.5)
5
formal verification
4
формальна верифікація
4
IPCL
3
UDC 004.415
3
UDC 004.415.52
3
composition-nominative languages
3
concurrent program
3
interleaving
3
УДК 004.415
3
УДК 004.415.52
3
композиционно-номинативные языки
3
композиційно-номінативні мови
3
параллельная программа
3
формальная верификация
3
Model-Driven Development
2
Requirement Analysis
2
Software Model Transformation
2
UDC 004.415.2
2
UDC 004.415.5
2
safety property proof
2
software correctness
2
УДК 004.415.2
2
УДК 004.415.5
2
анализ требований
2
аналіз вимог
2
доказательство частичной корректности
2
коректність програмного забезпечення
2
-
1за авторством Kudim, K.A., Reznichenko, V.A., Novitsky, A.V., Proskudina, G.Yu., Ovdii, O.M.Отримати повний текст
Опубліковано 2017
Стаття -
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13за авторством Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.Отримати повний текст
Опубліковано 2018
Стаття -
14
-
15
-
16
-
17
-
18
-
19