Coordination; Reo; Connector; Coq; Analysis;
机译:Coq中组件连接器的建模和验证
机译:使用语义技术将建筑构件目录与BIM模型联系起来:预制混凝土构件的应用
机译:JigCell模型连接器:从组件构建大型分子网络模型
机译:COQ中组件连接器的建模与分析
机译:Flyove QSFP(FQSFP)连接器的EMI设计为56 + GBPS应用,Z定向组件(ZDC)的系统级模型
机译:JigCell模型连接器:从组件构建大型分子网络模型
机译:探讨COQ中概率连接器的正式建模和验证