TY - BOOK AU - Кирильченко,Александр Александрович AU - Зуева,Елена Юрьевна AU - Платонов,Александр Константинович AU - Соколов,Сергей Михайлович TI - № 19. Формальные подходы к проектированию алгоритмов информационного обеспечения мобильных систем (выбор пути, навигация, надежность) T2 - Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук SN - 2071-2898 PY - 2008/// CY - Москва PB - ИПМ им. М. В. Келдыша РАН UR - https://keldysh.ru/papers/2008/prep19/prep2008_19.html ER -