Результати пошуку
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- UDC 004.415.52
- formal verification 3
- УДК 004.415.52 3
- формальна верифікація 3
- IPCL 2
- composition-nominative languages 2
- concurrent program 2
- interleaving 2
- композиционно-номинативные языки 2
- композиційно-номінативні мови 2
- паралельна програма 2
- параллельная программа 2
- формальная верификация 2
- 004.492 1
- 004.89 1
- Peterson’s algorithm 1
- constraints satisfaction 1
- intrusion detection systems 1
- invariant 1
- liveness property 1
- mutual exclusion 1
- network traffic analysis 1
- neural networks 1
- safety property proof 1
- satisfiability modulo theories 1
- software correctness 1
- software total correctness 1
- алгоритм Петерсона 1
- алгоритм Пітерсона 1
- аналіз мережевих даних 1
-
1
-
2
Correctness Property Proof for the Banking System for Money Transfer Payments
Опубліковано 2018Отримати повний текст
Стаття -
3