Quality of service; Unmanned aerial vehicles; Global Positioning System; Software; Software product lines; Runtime; Analytical models;
机译:基于特征切片的模型检查软件产品线
机译:面向增量软件产品线的增量模型检查
机译:面向增量软件产品线的组成类型检查
机译:跟踪检查动态软件产品线
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:用于评估治疗方案的软件/硬件产品MyDiaBase + RxChecker的性能分析
机译:跟踪动态软件产品线
机译:软件产品线:2010年美国陆军软件产品线研讨会报告