文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Florian Friedemann
发表
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process
Paula Herber, Sabine Glesner, Florian Friedemann, 2009, TAP@TOOLS.