退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用模型检查的谓词的连词的测试案例
TIAN Cong; LIU Shaoying; DUAN Zhenhua;
and;
ISN;
Lab;
Xidian;
University;
Xi'an;
710071;
China;
of;
Computer;
Science;
Hosei;
Japan;
测试用例生成; 模型检验; 谓词; 复合类型; 表达式; 自动生成; 检测技术; 模型检测;
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。