1. Программный комплекс ПРОСТОР для моделирования и прогнозирования опорной транспортной сети России

    Малов, В. Ю., Бульонков, М. А., Филаткина, Н. Н. & Марусин, В. В., 20 июн. 2013, Роспатент - Федеральная служба по интеллектуальной собственности, Патент/Св-во № 2013614125, Дата приоритета 12 мар. 2013, № приоритета 2013611781

    Результаты исследований: Патенты/Свидетельства о регистрациисвидетельство о регистрации программы для ЭВМ

  2. Соревнования по формальной верификации VeHa-2023: опыт проведения

    Старолетов, С. М., Кондратьев, Д. А., Гаранина, Н. О. & Шошмина, И. В., 2024, в: Труды Института системного программирования РАН. 36, 2, стр. 141-168 28 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

Назад 1...4 5 6 7 8 Далее

ID: 3089109