Through this scheme, system functions were verified by adaptively selecting appropriate techniques according to classified functional properties.

 
  • 该协同验证方法所依据的策略是:特定的功能特性采用特定的验证技术更有效。
今日热词
目录 附录 查词历史