Подоров, Андрей Алексеевич. Применение временной логики при верификации процессов обработки и хранения больших данных = Using of temporal logic in the processes of big data processing and storing verifying / А. А. Подоров, М. А. Полтавцева; Санкт-Петербургский политехнический университет Петра Великого. — 1 файл (217 Кб). — DOI 10.18720/SPBPU/2/id25-557. — Текст: электронный // Промышленный искусственный интеллект (ПИИ'2025): Всероссийская научно-практическая конференция с международным участием 3–4 июля 2025 года: cборник научных трудов / Российская академия наук, Санкт-Петербургское отделение, Санкт-Петербургский политехнический университет Петра Великого, Санкт-Петербургский государственный университет; под общей редакцией Д. Г. Арсеньева. – Санкт-Петербург, 2025. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — <URL:http://elib.spbstu.ru/dl/2/id25-557.pdf>.
| Period | Read | Copy | Open | Total | ||
|---|---|---|---|---|---|---|
| Total | 0 | 0 | 0 | 0 | 0 | |