Journals
Books
Articles by keyword программа-верификатор
Progrma-verifier of missions for autonomous underwater vehicle
V. F. Filaretov, D. A. Juhimec, E. Sh. Mursalimov