討論群組

請問這個東西的中文翻譯???

ttf125

ttf125
個人積分：0分
文章編號：2951664

0分

樓主

2007-06-09 8:04

請問版上的各位大大

"bounded model checking"-->翻成中文是什麼意思阿~~阿請問一下有什麼用途說~~

如能解惑小弟實感激不盡~~~

2007-06-09 8:04 發佈

文章關鍵字東西

Edan Wong
個人積分：5分
文章編號：2951900

5分

2樓

2007-06-09 9:36

有界模型检测，是一种计算方法。

小弟来自对岸，不知在名称上大大是否能看的懂。

X

X