21ic电子技术开发论坛 › 单片机与嵌入式系统 › 嵌入式操作系统论坛 › 翻译求救
返回列表 发新帖我要提问

翻译求救

[复制链接]
2729|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

粉丝
快速回复 在线客服 返回列表 返回顶部