Телефон: +33 1 75 31 44 19
E-mail:
Ключевые слова: Формальные методы Теория конечных автоматов Анализ и синтез конечных автоматов Тестирование и верификация программного обеспечения
Коды УДК: 519.7

Основные темы научной работы:

Конечные автоматы Тестирование и верификация

Публикации в базе данных Math-Net.Ru

Персональные страницы:

• 

Организации:

• Национальный исследовательский Томский государственный университет
• Инженерная Школа "Телеком Южный Париж"