| 标题 |
 Model checking C source code for embedded systems 嵌入式系统的模型检查C源代码
相关领域
计算机科学
微控制器
程序设计语言
编码（集合论）
源代码
模型检查
无效代码
计算理论
冗余代码
无法访问的代码
代码生成
建筑
嵌入式系统
操作系统
艺术
视觉艺术
集合（抽象数据类型）
钥匙（锁）
|
| 网址 | |
| DOI | |
| 其它 |
期刊：International Journal on Software Tools for Technology Transfer 作者：Bastian Schlich; Stefan Kowalewski 出版日期：2009-03-18 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
MMMMM
null
Virtual
caigou
GingerF
CAOHOU
不配.
XiaoLiu
忧心的曼凝
Nina
LaTeXer
dodo
aaa
jyy
bazinga00
COSMAO
比比谁的速度快
核桃
从容芮
pcr163
皖公网安备34019202002308
