Computer programs; Software engineering; Decision making; Formulas(Mathematics); Requirements; Mechanical properties; Verification; Traffic; Operational readiness; Specifications; Programming languages; Efficiency; Consistency; Case studies; Safety; Collision avoidance; Arithmetic; Rsml(Requirements state machine language); Svc(Standford validity checker);
机译:将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
机译:将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
机译:使用基于属性的切片和基于约束的环境生成对汽车操作系统进行有效的安全检查
机译:使用有效的决策程序检查安全关键规格的属性
机译:基于规范的结构测试覆盖标准作为安全关键系统的测试数据生成器的有效性。
机译:急诊科不同药物安全措施的比较评估:医生的使用和接受培训海报清单和计算机化决策支持
机译:使用有效的决策程序检查安全关键规范的属性