Назад
Казанский, Александр Валентинович
Институт автоматики и процессов управления ДВО РАН
http://iacp.dvo.ru
Россия, Владивосток, г.Владивосток ул.Радио 5
Доклад
Шупикова А.А.
*
,
Казанский А.В.
**
Верификация модели стримлет
*
IAPU DVO RAN (Владивосток), Россия
**
Институт автоматики и процессов управления ДВО РАН (Владивосток), Россия
К списку участников