基于环境的软件正确性形式化描述_stmopen 关键词】: 极限;三分之二互模拟;正确性;形式化 [gap=931]Keywords】: limit; two-thirds bi-simulation; correctness; formalization
基于1个网页-相关网页
two-thirds bi-simulation
三分之二bi-simulation
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动