Verifikacija matematičnega modela plovnosti potapljača s potapljaškim jopičem