Model generation by the exhaustive search for embedded assembly programs and application to model checking

被引：0

作者：

20151000615754

机构：

来源：

(1) Graduate School of Natural Science Technology, Kanazawa University, Japan | 1600年 / Institute of Electrical and Electronics Engineers Inc., United States期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

110802

引用