SystemCSP; CSP; components; contracts; contexts; fault tolerance; design patterns; formal methods; graphical modeling; simulation; hierarchical verification;
机译:修饰的全息Ricci暗能量耦合至相互作用的暗物质和非相互作用的重子成分
机译:修饰的全息Ricci暗能量耦合至相互作用的暗物质和非相互作用的重子成分
机译:并行程序的交互式调试:交互组件的分布式方案
机译:COMAV - 组件应用程序可视化工具:在可视化中使用逆向工程和交互性,以进行组件软件理解
机译:Med9,介质蛋白质复合体组分,及其相互作用的蛋白质Morc1在拟南芥中平衡增长和防御
机译:Peroxiredoxin 1一种新型的HBx相互作用蛋白与外泌体成分5相互作用并通过降解HBV RNA负调控乙型肝炎病毒(HBV)的传播。
机译:过洛昔洛蛋白1,一种新的HBX相互作用蛋白,与外出组分5相互作用,并通过HBV RNA的降解负调节乙型肝炎病毒(HBV)繁殖
机译:磁融合能等离子交互和高热通量组件。第三卷。等离子体材料相互作用和高热通量材料和元件开发领域的国际合作战略