software architecture; software fault tolerance; formal specification; object-oriented programming; software fault tolerance; layered architecture; system dependability; software development; system components; formal specification pattern; iterative application; stepwise refinement; B method; layered fault tolerant system; Fillwell liquid handling workstation; control systems; fault-free software;
机译:确定和提高模式识别应用中多层感知器的容错能力
机译:扩散散射的三维倒数空间映射,用于研究从r型蓝宝石衬底的侧壁生长的半极性(112 2)GaN层中的堆叠缺陷
机译:多层神经网络多重容错的故障注射方法
机译:分层体系结构中的容错:B中的一般规范模式
机译:分布式应用程序的容错分层方法的设计和验证。
机译:动态数据库中的容错模式挖掘
机译:分层体系结构中的容错:B中的通用规范模式