Результати пошуку - "004.415"
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- 10
- formal verification 4
- УДК 004.415 4
- УДК 004.415.2.045 (076.5) 4
- формальна верифікація 4
- 004.415 3
- IPCL 3
- UDC 004.415 3
- UDC 004.415.2 3
- UDC 004.415.2.045 (076.5) 3
- UDC 004.415.52 3
- composition-nominative languages 3
- concurrent program 3
- interleaving 3
- УДК 004.415.2 3
- УДК 004.415.52 3
- композиционно-номинативные языки 3
- композиційно-номінативні мови 3
- параллельная программа 3
- формальная верификация 3
- Model-Driven Development 2
- UDC 004.415.2.045 (076.5) 2
- UDC 004.424 2
- UDC 004.942+004.415.2 2
- algorithm 2
- architecture 2
- data 2
- decision support system 2
- safety property proof 2
- software correctness 2
-
21
Agile requirement analysis approach using artificial intelligent technologies
Опубліковано в PROBLEMS IN PROGRAMMING (2024)
Отримати повний текст
Стаття -
22
Formal verification of deep neural networks
Опубліковано в PROBLEMS IN PROGRAMMING (2024)
Отримати повний текст
Стаття -
23
Formal foundations for software model to model transformation operation
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття