咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Synchronous Equivalence: Forma... 收藏

Synchronous Equivalence: Formal Methods for Embedded Systems

作     者:Harry Chia Chang Hsieh Alberto Luigi Sangiovanni-Vincentelli Felice Balarin 

I S B N:(纸本) 9780792372622 

出 版 社:Kluwer Academic Publishers 

出 版 年:2001年

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

用户名:未登录
我的评分