ИСТИНА

Yu D.Volkanov

1 доклад на конференции

IstinaResearcherID (IRID): 420738

Деятельность

• Доклады на конференциях

  • • 2012 On the designing of model checkers for real-time distributed systems (Устный)
    • Авторы: Подымов В.В., Yu D.V., Захаров В.А., Зорин Д.А., Коннов И.В.
    • Семинар "Программные семантики, спецификации и верификация (PSSV)", Нижний Новгород, 2012