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

看过本文的还看了

相关文献

该作者的其他文献

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

NASA Technical Reports Server (Ntrs) 20110016565: Software for Checking Statecharts

出 版 年：2017年

主 题 词：(ntrs) 20110016565: applications programs (computers) automata theory checking linearity models nasa technical reports server (ntrs) parsing algorithms pingree, paula reports sequential control server software development tools software engineering syntax temporal logic turing machines 

摘      要：NASA Technical Reports Server (Ntrs) 20110016565: Software for Checking Statecharts by NASA Technical Reports Server (Ntrs); published by

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

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