Результати пошуку - S. Fabunmi
- Показ 1 - 3 результатів із 3
-
1
Equivalence of two parallel execution systems за авторством T. V. Panchenko, S. Fabunmi
Опубліковано 2018Отримати повний текст
Стаття -
2
Equivalence of two parallel execution systems за авторством Panchenko, T.V., Fabunmi, S.
Опубліковано 2018Отримати повний текст
Стаття -
3
Еквівалентність двох систем паралельного виконання за авторством Панченко, Т.В., Fabunmi Sunmade
Опубліковано в: Проблеми програмування (2018)Отримати повний текст
Стаття
Інструменти для пошуку:
Пов'язані теми
681.3
IPCL
UDC 004.415
composition-nominative languages
concurrent program
formal verification
interleaving
safety property proof
software correctness
Паралельне програмування. Розподілені системи і мережі
УДК 004.415
доказательство частичной корректности
композиционно-номинативные языки
композиційно-номінативні мови
коректність програмного забезпечення
корректность программного обеспечения
параллельная программа
формальна верифікація
формальная верификация