ИСТИНА

• Даты проведения: 2012
• Место проведения: Пермь
• Описание конференции:

  SYRCoSE (Spring/Summer Young Researchers' Colloquium on Software Engineering) is a colloquium on software engineering targeted at young researchers (students, postgraduates, young PhD specialists, etc.). The main goal of the colloquium is to help young specialists to meet each other, to get more information on work of their colleagues, to exchange their experience, and to practice in presenting their results at international conferences and workshops

• Добавил в систему: Зорин Даниил Александрович

Доклады:

• 2012 Translation of UML Statecharts to UPPAAL Automata for Verification of Real-time Systems (Устный)
• Авторы: Подымов В.В., Зорин Д.А.