Safe Controllers Design; Formal Verification; CAD modeling; Mechatronic Systems Safety;
机译:使用任务 - PIOA的正式建模随机甲骨文可编程性和签名不可识别性的验证
机译:从任务模型自动生成规范属性,以进行人与自动化交互的形式验证
机译:基于任务流程图的形式定义验证任务模型
机译:获取3D CAD模型的正式验证任务的工厂模型:这是最好的方法?
机译:基于组件的方法来验证和确认正式软件模型。
机译:面向模式的建模是验证和验证功能结构植物模型的一种新方法:鳄梨年增长模块的演示
机译:通过语义任务规范连接以任务为中心与以人工为中心的模型及其在形式验证中的应用