Telecom ParisTech, Sophia Antipolis, France;
Telecom ParisTech, Sophia Antipolis, France;
Autonomous systems; Formal methods; Safety; Security;
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:特殊问题的序言:安全关键系统的设计和分析中的轻量级实用形式方法
机译:以深入学习和正式方法的CBTC系统安全风险预测
机译:致力于风险管理的自治系统安全设计的正式方法
机译:嵌入式控制系统设计和验证的正式方法:应用于自动驾驶汽车。
机译:在自主电子心理健康系统中考虑患者安全–检测风险情况并将患者转回人类护理
机译:结合半正规和正式方法,以便在自动流动性按需系统中进行安全控制