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