echo suppression; formal verification; specification languages; real-time systems; formal refinement; model checking; digital echo cancellation unit; state based real time systems; UML state diagrams; unified modeling language; formal-B language; Atelier-B theorem; abstract representation;
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:检查使用基于图形的形式化建模语言构建的模型
机译:利用统计模型检查和抽象提炼对生化系统随机模型进行综合和不可行分析
机译:回声消除单元的形式完善和模型检查
机译:使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
机译:使用统计模型检查正式验证启发式自主交叉管理
机译:回声消除单元的形式完善和模型检查
机译:基于符号模型检验的大型模型可诊断性实用形式验证