...即时验证算法；形式化验证工具 [gap=1353]gy;embedded software design;uml interactive overview diagram;interface automata;on-the-fly verification algorithm;formal verification tool ..
基于12个网页-相关网页
即时验证算法
Instant verification algorithm
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动