在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 4932|回复: 27

Hardware and Software: Verification and Testing:HVC 2007,October 23-25

[复制链接]
发表于 2008-2-20 23:22:12 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有账号?注册

x
Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings (Lecture Notes in Computer Science)
by Karen Yorav
Hardware and Software Verification and Testing-.jpg
[size=120%]Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings (Lecture Notes in Computer Science)
By Karen Yorav


Publisher:   Springer
Number Of Pages:   267
Publication Date:   2008-03-01
ISBN-10 / ASIN:   3540779647
ISBN-13 / EAN:   9783540779643
Binding:   Hardcover


Book Description:
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Haifa Verification Conference, HVC 2007, held in Haifa, Israel, in October 2007.
The 15 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical tracks on hardware verification, model checking, dynamic hardware verification, merging formal and testing, formal verification for software and software testing.

[ 本帖最后由 lotusky 于 2008-2-20 23:30 编辑 ]

Hardware and Software Verification and Testing.part1.rar

4.04 MB, 下载次数: 225 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Hardware and Software Verification and Testing.part2.rar

3.77 MB, 下载次数: 227 , 下载积分: 资产 -2 信元, 下载支出 2 信元

发表于 2008-2-21 17:25:53 | 显示全部楼层
thank you very much
发表于 2008-2-22 08:14:44 | 显示全部楼层
好东西
谢谢楼主
发表于 2008-2-22 08:21:00 | 显示全部楼层
好东西
谢谢楼主
头像被屏蔽
发表于 2008-2-25 13:38:16 | 显示全部楼层
提示: 作者被禁止或删除 内容自动屏蔽
发表于 2008-2-26 10:37:43 | 显示全部楼层
many many thanks
发表于 2008-3-3 02:08:24 | 显示全部楼层
thanks for your informaion....................
thanks.......................................................
发表于 2008-3-3 02:17:33 | 显示全部楼层
Have a looook, many thanks.
发表于 2008-3-3 09:17:46 | 显示全部楼层
谢谢楼主!
发表于 2008-3-3 09:18:41 | 显示全部楼层
谢谢楼主!
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条

×

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-3-28 16:47 , Processed in 0.045389 second(s), 8 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表