formalized verification

基本解释

• [电子、通信与自动控制技术]形式化验证

词组短语

短语

• automatic formalized verification 形似化自动验证

专业释义

电子、通信与自动控制技术

• 形式化验证