Detection of Feature Interaction in Requirements Using Temporal Logic

 
  • 使用时序逻辑检测软件需求阶段的特征干扰
今日热词
目录 附录 查词历史