University of Paderborn /C-LAB, Paderborn, Germany;
机译:面向安全关键型系统的表驱动微处理器体系结构的验证
机译:核电站微机保护系统软件的验证方法
机译:IBM zEnterprise微处理器和存储层次结构的硅前功能验证的主要进展
机译:突变分析驱动软微处理器的功能验证
机译:不稳定驱动的可重构软材料:力学和功能
机译:一种新型的社区驱动软件用于细胞外囊泡数据的功能富集分析
机译:Equator MAP1000微处理器的功能验证