机译:带有规则验证的子系统到系统间的配置和集成研究
Department of Computer Science, TU Clausthal, Clausthal-Zellerfeld, Germany;
System-of-Systems; CBSE; Verification; Model Checking; UPPAAL;
机译:带有规则验证的子系统到系统间的配置和集成研究
机译:集成数据挖掘和粗糙集以基于客户组发现产品配置规则
机译:不同沼气价值链配置下温室气体排放量与经济利润之间的关系:不同部门整合水平的案例研究
机译:验证数据集成配置以获取语义正确性和完整性
机译:路由器策略的分层形式建模和验证,以及对思科路由器配置的应用案例研究
机译:转移生物标志物发现规则和分子分析研究的验证的分类规则
机译:带有规则验证的子系统配置和系统集成的研究