71 - 72 out of 72Page size: 10
Sort by: Title

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

    Малов, В. Ю., Бульонков, М. А., Филаткина, Н. Н. & Марусин, В. В., 20 Jun 2013, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2013614125, Priority date 12 Mar 2013, Priority No. 2013611781

    Research output: Patent › Software registration

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

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

    Research output: Contribution to journal › Article › peer-review

Previous 1...4 5 6 7 8 Next

ID: 3089109