Accident Scenario Based on Hazard and its Formalized Description

• 基于危险的事故场景及其形式化描述