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