Bounded Model Checking for concurrent behavior with schedule的翻译是：什么意思？中文翻译英文，英文翻译中文，怎么说？-青云在线翻译网

当前位置：首页 » 翻译

匿名	关注：1 2013-05-23 12:21 求翻译：Bounded Model Checking for concurrent behavior with scheduler是什么意思？待解决悬赏分：1 - 离问题结束还有 Bounded Model Checking for concurrent behavior with scheduler 问题补充：

匿名	2013-05-23 12:21:38 有界模型检查与调度的并发行为

匿名	2013-05-23 12:23:18 示范检查楼宇为并发行为与预定用户

匿名	2013-05-23 12:24:58 检查一致行为的一定模型与调度程序

匿名	2013-05-23 12:26:38 使用调度程序并行行为有界模型检测

匿名	2013-05-23 12:28:18 有界模型检查与调度的并发行为

本站所有资料来源于互联网，如有侵权，请联系本站，青云翻译网沪ICP备07509807号-1 鄂公网安备42018502000813号

求翻译：Bounded Model Checking for concurrent behavior with scheduler是什么意思？