Through this scheme, system functions were verified by adaptively selecting appropriate techniques according to classified functional properties.
英
美
该协同验证方法所依据的策略是:特定的功能特性采用特定的验证技术更有效。
目录
查词历史
英 汉