Analisis keselamatan sistem operasi pelayaran rakyat dengan metode formal safety assessment = Safety analysis of traditional shipping operating system with formal safety assessment

Penilaian risiko keselamatan pada kapal ro-ro ferry dengan menggunakan metode formal safety assessment = Safety risk assessment on ro-ro ferry by using formal safety assessment method

Analisis keselamatan pada faktor teknis armada kapal layar motor pelayaran rakyat dengan metode formal safety assessment = Analysis safety on technical factor motor sail ship fleet traditional shipping with formal safety assesment method

Kajian Keselamatan Pelayaran Perintis dengan Metode Formal Safety Assessment = Study of Pioneer Sea Transportation's Safety with Formal Safety Assessment Method.

Analisa Keselamatan Kebakaran dengan Metode Formal Safety Assessment untuk Kapal Penumpang Tradisional dengan Rute Kali Adem - Kepulauan Seribu = Fire Safety Analysis with Formal Safety Assessment Method for Traditional Passenger Ships with Kali Adem - Kepulauan Seribu Route