使用系统理论过程分析推导海事系统的验证目标和场景

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

Reliability Engineering and System Safety · 2017
被引 53
ABS 3
系统工程软件工程可靠性工程人工智能计算机科学