Автор Кознов Дмитрий Владимирович Научно-Технический Вестник информационных технологий, механики и оптики

2024 , ТОМ 24, НОМЕР 6 ( ноябрь-декабрь )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Меню

Публикации

Главный редактор

НИКИФОРОВ
Владимир Олегович
д.т.н., профессор

Партнеры

Кознов Дмитрий Владимирович

Место работы: Санкт-Петербургский государственный университет, Санкт-Петербург, 199034, Российская Федерация
Должность: доцент
Ученая степень: доктор наук, профессор
E-mail: dkoznov@yandex.ru
Scopus ID: 8885649400
ORCID: 0000-0003-2632-3193

Кудрявцев Д. В., Кознов Д. В., Григорьев Л. Ю. СРЕДСТВА ТИПИЗАЦИИ И ПРАГМАТИКА ЯЗЫКА МОДЕЛИРОВАНИЯ ОРГ-МАСТЕР
Статья опубликована в выпуске №6, том 13, 2013

Луцив Д. В., Кознов Д. В., Басит Х. А., Ли О. Е., Смирнов М. Н., Романовский К. Ю. МЕТОД ПОИСКА ПОВТОРЯЮЩИХСЯ ФРАГМЕНТОВ ТЕКСТА В ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ
Статья опубликована в выпуске №4, том 14, 2014

Моисеенко Е. А., Гладштейн В. П., Подкопаев А. В., Кознов Д. В.

Формализация языков частично упорядоченных мультимножеств в системе Coq для спецификации слабых моделей памяти

Статья опубликована в выпуске №3, том 22, 2022

Мисонижник А. В., Костюков Ю. О., Костицын М. П., Мордвинов Д. А., Кознов Д. В.

Генерация слабейших предусловий программ с динамической памятью в символьном исполнении

Статья опубликована в выпуске №5, том 22, 2022

Информация 2001-2025 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.