University of Waterloo Waterloo ON N2L 3G1 Canada;
Feature modelling; Feature interactions; Model checking;
机译:建模和检测家庭网络系统集成服务之间的功能交互
机译:建模和检测家庭网络系统集成服务之间的功能交互
机译:entantlement Mapping:检测预测功能之间的相互作用的无模型方法
机译:检测Forml模型中的功能交互
机译:检测电信系统设计中的功能交互。
机译:在传感器驱动的家庭网络服务中检测服务链和功能交互
机译:sBmL定性模型:模型表示格式和基础设施,以促进定性建模形式和工具之间的相互作用