Лях Т.В.  

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