Scientific Journal of Gdynia Maritime University - Tom nr 125 (2023) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

nr 125

Czasopismo

Scientific Journal of Gdynia Maritime University

Wydawca

Publishing House of Gdynia Maritime University

Rocznik

2023

Identyfikatory

Zawartość wolumenu

nr 125
- artykuł: Formal verification of STPA with model checking (Kwon Ryeonggu, Kwon Gihwon), s. 7--24
- artykuł: Hazard analysis of an autonomous container handling system – a comparison of STPA and HAZOP methods (Heikkilä Eetu, Malm Timo, Tiusanen Risto, Ahonen Toni), s. 25--39
- artykuł: Analysis of recreational diving training according to the CMAS international diving confederations, SSI diving school system and american NAUI and PADI associations (Ratajczak Jakub, Wieczorek Mikołaj, Rutkowski Grzegorz), s. 40--53
- artykuł: Risk related incorrect decompression, stage ascent procedures with the use of decompression tables as a type of preventive actions against the effects of decompression (Mielniczek Katarzyna, Rutkowski Grzegorz), s. 54--65

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.