Результати пошуку - "verification"
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- formal verification 5
- формальна верифікація 5
- IPCL 3
- UDC 004.415.52 3
- composition-nominative languages 3
- concurrent program 3
- interleaving 3
- УДК 004.415.52 3
- композиционно-номинативные языки 3
- композиційно-номінативні мови 3
- параллельная программа 3
- формальная верификация 3
- safety property proof 2
- software correctness 2
- доказательство частичной корректности 2
- коректність програмного забезпечення 2
- корректность программного обеспечения 2
- паралельна програма 2
- адвекційно-поліморфна гіпотеза 1
- 004.492 1
- 004.89 1
- 504.7 1
- 56 1
- 579.8 1
- 681.3 1
- Colonial picofossils 1
- European Green Deal 1
- FEMM 1
- Greenhouse Gas Trading System 1
- Hymenophacoides Roblot 1964 1
-
1
-
2
-
3
-
4
Algebraic modeling in international and local service logistical systems
Опубліковано 2021Отримати повний текст
Стаття -
5
-
6
-
7
Earthquake forecasting by the results of the seismic signal trend analysis
Опубліковано 2018Отримати повний текст
Стаття -
8
Correctness Property Proof for the Banking System for Money Transfer Payments
Опубліковано 2018Отримати повний текст
Стаття -
9
-
10
-
11
-
12