Radiation detectors; Micromechanical devices; Fault tolerance; Fault tolerant systems; Switches;
机译:时间触发架构中节点重新集成的形式化建模和分析
机译:使用顺序假设测试快速检测无线传感器网络中的移动副本节点攻击
机译:使用离散质子化状态的显式溶剂中恒定pH副本交换分子动力学:实施,测试和验证
机译:FT4FTT架构中节点副本重新融合机制的首先实现和测试
机译:具有单个中继节点的无线传感器网络中通信协议的设计,实现和测试。
机译:细胞内和细胞间机制对野生型隐色素空和血管活性肠肽受体2-空突变小鼠上裂眼上神经节律电路的时空结构的不同贡献
机译:H-NAMe:为无线传感器网络指定,实现和测试隐藏节点避免机制