Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques-MedSci.cn

Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques

Lu, LL; Pan, MX; Zhang, T; Li, XD

Pan, MX (通讯作者)，Nanjing Univ, State Key Lab Novel Software Technol, Nanjing, Peoples R China.;Pan, MX (通讯作者)，Nanjing Univ, Software Inst, Nanjing, Peoples R China.

SOFTWARE AND SYSTEMS MODELING, 2022; 21 (4): 1321

科室
- - 订阅+
  - 更多科室
工具
服务