发新帖我要提问
返回列表
打印

翻译求救

[复制链接]
2027|2
手机看帖
扫描二维码
随时随地手机跟帖
跳转到指定楼层
楼主
milkbee|  楼主 | 2007-5-15 10:48 | 只看该作者 回帖奖励 |倒序浏览 |阅读模式
FOR, des, ic, IO, mb
有高人 看过这篇**吗？《Formal Verification for Embedded System Designs》
小弟正在翻译，唉，英语学的不好！！

标题就不知道砸翻译...唉，难了
请高手帮忙给说两句！！

使用特权

评论回复 赏

相关下载

相关帖子
沙发
djyos| | 2007-5-15 11:31 | 只看该作者

我来试一下

嵌入式系统的可确定性设计。
不知妥否。

使用特权

评论回复 赏
板凳
ferry| | 2007-5-15 15:26 | 只看该作者

嵌入式系统设计的形式化验证

不只是语言问题.还有对原文涉及的专业内容是否熟悉

使用特权

评论回复 赏
返回列表
发新帖 我要提问
高级模式
B Color Image Link Quote Code 收费 Smilies
您需要登录后才可以回帖 登录 | 注册

本版积分规则

milkbee

2

主题

2

帖子

1

粉丝