Fault tolerance; Computers; Dependability; Formal methods; Patterns; Refinement; Systems development; Foreign technology;
机译:严格的微生物学科学统计方法
机译:在多配体系统中的微生物和生物相似传感器接口处计算稳态金属通量。反应层近似及其与严格解的比较
机译:严谨的概念清单开发方法:使用“评估三角形”来开发和测试热学和运输科学概念清单(TTCI)
机译:通过协同优化来严格开发容错系统
机译:缺陷和容错纳米计算系统的设计和分析。
机译:严格的微生物组学的严格统计方法
机译:在多配体系统中的微生物和生物相似传感器接口处计算稳态金属通量。反应层近似及其与严格解的比较
机译:计算科学:通过共同精炼严格开发容错系统。