咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >NASA Technical Reports Server ... 收藏
分享

NASA Technical Reports Server (Ntrs) 20030107450: Automated Environment Generation for Software Model Checking

出 版 年：2017年

主 题 词：(ntrs) 20030107450: architecture (computers) automated automatic control checking computer components computer systems programs dwyer, matthew b. environment java (programming language) mathematical models nasa technical reports server (ntrs) pasareanu, corina s. program verification (computers) programming environments software engineering systems analysis tkachuk, oksana 

摘      要：NASA Technical Reports Server (Ntrs) 20030107450: Automated Environment Generation for Software Model Checking by NASA Technical Reports Server (Ntrs); published by

读者评论 与其他读者分享你的观点

学校读者
用户名:未登录
我的评分