Journals
Books
Articles by keyword program-verifier. autonomous underwater vehicle
Progrma-verifier of missions for autonomous underwater vehicle
V. F. Filaretov, D. A. Juhimec, E. Sh. Mursalimov