...
机译:组件规格:信任还是验证?
机译:基于信任的多代理系统的规范和自动验证
机译:2005年中国计量器具国家检定规程和校准规范2005年第148号/ 2005年中国计量器具国家检定规程和校准规范2005年第184号
机译:规范和验证可信赖的基于组件的系统的正式方法
机译:第一届基于模型的验证和确认时间规范以及分布式组件模型及其环境的演绎验证研讨会
机译:对软件组件的性能配置文件进行规范和机械验证
机译:术中植入定向钯源网格(CivaSheet™):剂量学验证临床调试剂量规范和初步经验
机译:基于时序逻辑的信任模型规范与验证