机译:使用自动生成的可执行事务级别模型在Esl级别进行基于Odyssey的早期模拟等效检查的方法
机译:使用模型转换和模型检查来支持软件行为模型的自动包含检查
机译:基于Martingales残差的两个正式测试的性能检查柔性参数过多危险模型中的预测因素的比例危害假设和功能形式
机译:自动化危险检查交易级微体系结构模型
机译:化工厂的自动化建模,适用于危害和可操作性研究。
机译:执行基于para残差的两个形式化检验以检查比例风险假设和灵活参数超额风险模型中预后因素的功能形式
机译:自动检查使用基于图形的形式化建模语言构建的模型