Индустриальные информационные системы - 2015

Новосибирск, Академгородок, 20-24 сентября 2015 г.

Лях Т.В.  

Разработка алгоритмов управления на основании концепции ВОУ и метода Model Checking