formal verification and combination
...形式化组装验证；服务构件 [gap=1085]Key words：high reliability and credibility；Martin—Lof’S type theory and Coq；formal verification and combination；service component ..
基于1个网页-相关网页
formal verification and combination
形式验证与组合
以上为机器翻译结果，长、整句建议使用 人工翻译 。