Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/4807
Название: | Formal verification of robotics runtime environment |
Другие названия: | Формальная верификация окружения времени выполнения робототехнической системы |
Авторы: | Терехов Андрей Николаевич Никольский Кирилл Андреевич Nikolskiy Kirill Доктор физико-математических наук, профессор А.Н.Терехов Doctor of Physics and Mathematics, Professor A.N.Terekhov |
Дата публикации: | 2016 |
URI (Унифицированный идентификатор ресурса): | http://hdl.handle.net/11701/4807 |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
diploma.pdf | Article | 124,05 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Otzyv_rukovoditelya_na_rabotu_Nikolskogo_doc.pdf | ReviewSV | 90,54 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_st003585_Terexov_Andrej_Nikolaevich_(supervisor)(Ru).txt | ReviewSV | 7,74 kB | Text | Просмотреть/Открыть |
reviewSV_Nikolskij.pdf | ReviewRev | 915,39 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_st003585_Terexov_Andrej_Nikolaevich_(reviewer)(Ru).txt | ReviewRev | 8,68 kB | Text | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.