Found: 4
Select item for more details and to access through your institution.
FORMAL VERIFICATION OF STPA WITH MODEL CHECKING.
- Published in:
- Scientific Journal of Gdynia Maritme University, 2023, n. 125, p. 7, doi. 10.26408/125.01
- By:
- Publication type:
- Article
RISKS RELATED INCORRECT DECOMPRESSION, STAGE ASCENT PROCEDURES WITH THE USE OF DECOMPRESSION TABLES AS A TYPE OF PREVENTIVE ACTIONS AGAINST THE EFFECTS OF DECOMPRESSION.
- Published in:
- Scientific Journal of Gdynia Maritme University, 2023, n. 125, p. 54, doi. 10.26408/125.04
- By:
- Publication type:
- Article
ANALYSIS OF RECREATIONAL DIVING TRAINING ACCORDING TO THE CMAS INTERNATIONAL DIVING CONFEDERATIONS, SSI DIVING SCHOOL SYSTEM AND AMERICAN NAUI AND PADI ASSOCIATIONS.
- Published in:
- Scientific Journal of Gdynia Maritme University, 2023, n. 125, p. 40, doi. 10.26408/125.03
- By:
- Publication type:
- Article
HAZARD ANALYSIS OF AN AUTONOMOUS CONTAINER HANDLING SYSTEM - A COMPARISON OF STPA AND HAZOP METHODS.
- Published in:
- Scientific Journal of Gdynia Maritme University, 2023, n. 125, p. 25, doi. 10.26408/125.02
- By:
- Publication type:
- Article