–
Доклады на научных конференциях
-
- 2018 СООТНОШЕНИЕ ОБЪЁМА СЕМАНТИКИ КОНЦЕПТА КАК ПРОБЛЕМА СОПОСТАВИТЕЛЬНОГО ИЗУЧЕНИЯ ЯЗЫКОВ (НА МАТЕРИАЛЕ РУССКОГО И АНГЛИЙСКОГО ЯЗЫКОВ (Стендовый)
- Авторы: Левицкий А.Э., Конов И.З.
- III МЕЖДУНАРОДНЫЙ НАУЧНЫЙ КОНГРЕСС "ИНОСТРАННАЯ ФИЛОЛОГИЯ. СОЦИАЛЬНАЯ И НАЦИОНАЛЬНАЯ ВАРИАТИВНОСТЬ ЯЗЫКА И ЛИТЕРАТУРЫ, Симферополь, Россия, 5-7 апреля 2018
-
- 2012 On the designing of model checkers for real-time distributed systems (Устный)
- Авторы: Коннов И.В., Подымов В.В., Yu D.V., Захаров В.А., Зорин Д.А.
- Семинар "Программные семантики, спецификации и верификация (PSSV)", Нижний Новгород, 2012
-
- 2012 О средстве трансляции моделей на языке UML во временные автоматы UPPAAL для верификации РВС РВ (Устный)
- Авторы: Зорин Д.А., Коннов И.В., Захаров В.А., Волканов Д.Ю., Подымов В.В.
- Моделирование-2012, Киев, 2012