...
机译:组合曲面的拓扑和分类的正式规范和证明
Combinatorial surfaces; Classification; Generalized maps; Formal specification; Assisted proof;
机译:组合曲面的拓扑和分类的正式规范和证明
机译:通过基于证明的细化对医疗系统进行正式规范
机译:实时调度的正式规范和继承协议的证明
机译:Gridjack的正式规格和证明
机译:降低基于证明助手的形式验证的成本或:无需证明负担的定罪。
机译:定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
机译:通过组合拓扑进行正式验证
机译:使用原理图保护模型的系统安全的正式规范和证明;硕士论文