Student | Nikolskiy Kirill |
---|---|
Main field of study | 02.03.03 Software and Administration of Information Systems |
Qualification | Bachelor |
Title | Formal verification of robotics runtime environment |
Status | Published |
Editor | Doctor of Physics and Mathematics, Professor A.N.Terekhov |
Year | 2016 |