Industrial Information Systems - IIS-2015

Novosibirsk, Akademgorodok, 20-24 September, 2015

Лях Т.В.  

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