使用系统理论过程分析推导海事系统的验证目标和场景
Deriving verification objectives and scenarios for maritime systems using the systems-theoretic process analysis
Reliability Engineering and System Safety · 2017
被引 53
ABS 3
- Børge Rokseth 通讯
- Ingrid Bouwer Utne
- Jan Erik Vinnem
系统工程软件工程可靠性工程人工智能计算机科学