...
机译:对安全关键型可重配置模块中的容错能力进行形式验证
Department of Computer and Information Science, Linkoeping University, Linkoeping, Sweden;
safety analysis; formal verification; fault tolerance; FPGA; esterel;
机译:使用定理证明技术对容错进行形式验证
机译:安全关键软件的集成形式验证
机译:安全关键系统级芯片的形式验证技术调查
机译:进行中的工作:一种验证工业网络系统中的容错能力的正式方法
机译:可重构混合系统的正式规范和验证。
机译:网络物理系统中控制模块的正式验证
机译:不同容错机制的形式验证和测试努力分析
机译:用定理证明技术对容错的形式验证。