Scientific Journal of Gdynia Maritime University > 2023 > nr 125 > 7--24
Source
Abstract
Identifiers
journal ISSN : | 2657-5841 |
journal e-ISSN : | 2657-6988 |
DOI | 10.26408/125.01 |
Authors
Keywords
Additional information
Fields of science
Bibliography
-
1. Abdulkhaleq, A., Wagner, S., Leveson, N., 2015, A Comprehensive Safety Engineering Approach for Software-Intensive Systems Based on STPA, Procedia Engineering, vol. 128, pp. 2–11.
-
2. Baier, C., Katoen, J.-P., Larsen, K.G., 2014, Principles of Model Checking, MIT Press, Cambridge.
-
3. Dakwat, A.L., Villani, E., 2018, System Safety Assessment Based on STPA and Model Checking, Safety Science, vol. 109, pp. 130–143.