Журналы
Разделы книг
Статьи по ключевому слову program-verifier. autonomous underwater vehicle
Верификатор для проверки миссий автономного подводного аппарата
В. Ф. Филаретов д. т. н., проф, зав. лаб., Институт автоматики и процессов управления ДВО РАН Д. А. Юхимец к. т. н., ст. научн. сотрудник, Институт автоматики и процессов управления ДВО РАН Э. Ш. Мурсалимов аспирант, Институт автоматики и процессов управления ДВО РАН