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