Please use this identifier to cite or link to this item:
Title: Formal verification of robotics runtime environment
Other Titles: Формальная верификация окружения времени выполнения робототехнической системы
Authors: Терехов Андрей Николаевич
Никольский Кирилл Андреевич
Nikolskiy Kirill
Доктор физико-математических наук, профессор А.Н.Терехов
Doctor of Physics and Mathematics, Professor A.N.Terekhov
Issue Date: 2016
Appears in Collections:BACHELOR STUDIES

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.