formal verification and combination的意思
美
/ /
英
/ /
形式化验证与组合
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 ..