平台首页
专题聚焦
态势分析
更多服务
关于我们
已收录
268921
条政策
搜索
众筹
政策管理
创新补偿
创新驱动
其他热词 >
分类导航
效力级别
发布时间
2004
(1)
发布机构
Stellenbosch U...
(1)
学科类别
"Dissertations
(1)
"Embedded
(1)
"Programming
(1)
(Electronic
(1)
--
(1)
Computer
(1)
Verification",
(1)
["Computer
(1)
computer
(1)
computers)",
(1)
更多
文种类型
地区
时效性
检索结果
已选条件:
computer
×
2004
×
<符合条件的数据共:1条>
排序方式
颁布时间
浏览次数
下载次数
登录后可批量下载(
统一登录
,
激活码登录
)
A language to support verification of embedded software
颁布单位:[Stellenbosch University] | 颁布时间:2004 | 实施时间:2004 | 学科分类:[["Computer, software, --, Verification",, "Embedded, computer, systems",, "Programming, languages, (Electronic, computers)",, "Dissertations, --, Computer, science"]]
预览
|
原文链接
[浏览:4 下载:2]
上一页
1
下一页