属性断言论文

论文题目:基于功能信息的验证工程学及若干验证技术研究论文类型:博士论文论文专业:精密仪器及机械作者:张多利导师:高明伦关键词:功能验证,功能信息,验证工程学,过程模型,指令模板...