Back
Лях, Татьяна Викторовна
PhD student
Institute of Automation and Electrometry of SB RAS
http://www.iae.nsk.su
Russia, 630090, Novosibirsk, Koptyug Ave, 1
Phone: +7(383) 333-35-80, Fax: +7(383) 333-38-63
Report
Лях Т.В.
*
Разработка алгоритмов управления на основании концепции ВОУ и метода Model Checking
*
Institute of Automation and Electrometry of SB RAS (Novosibirsk), Russia
To participants list