Deriving verification objectives and scenarios for maritime systems using the systems-theoretic process analysis

Børge Rokseth, Ingrid Bouwer Utne, Jan Erik Vinnem. Deriving verification objectives and scenarios for maritime systems using the systems-theoretic process analysis. Rel. Eng. & Sys. Safety, 169:18-31, 2018. [doi]

Abstract

Abstract is missing.