Safety; Standards; Testing; Software; Encoding; Uncertainty; Employment;
机译:非线性系统的运行时间保证和形式化方法分析在非线性系统控制中的应用
机译:使用正式概念分析方法构建和扩展描述逻辑本体论文摘要
机译:形式上下文的分解方法构造概念格
机译:构建保证案例的综合形式方法
机译:构造分离的制造系统控制软件组件的正式方法
机译:基于高通量AFLP的整合遗传和物理图谱构建方法:高粱基因组图谱的进展
机译:伊莎贝尔/ SACM:具有综合形式方法的计算机辅助保障案例