| Соколов Валерий Анатольевич
|
| профессор
|
| доктор физико-математических наук (2006)
|
Специальность ВАК:
01.01.09 (дискретная математика и математическая кибернетика)
Дата рождения:
04.08.1944
Телефон: +7 (4852) 45 72 09
E-mail:
Сайт: https://www.uniyar.ac.ru/yargu/staff/0000002262/
Ключевые слова: формальные модели,
сети Петри,
автоматы,
системы переходов,
темпоральные логики,
верификация,
распределенные системы,
параллельные программы,
семантические свойства.
Основные темы научной работы: Моделирование и анализ информационных систем.
Основные публикации: - Структурированные системы переходов (монография, в соавторстве с Кузьминым Е. В.), Москва, Физматлит, 2006.
Публикации в базе данных Math-Net.Ru
© , 2024
