机译:一种综合共享资源系统组件的正式方法
机译:一种新的多分量DEA方法,使用一组通用的权重方法和不精确的数据:具有不良和共享资源的印度公共部门银行的应用
机译:设计共享资源系统的综合方法
机译:一种共享资源系统设计的综合方法
机译:利用资源共享架构和正式验证方法的基于FPGA的I&C系统的Class-1兼容设计和验证过程
机译:共享内存系统的正式设计和验证方法。
机译:计算机代码理解与前景网络中的正式逻辑推断共享神经资源
机译:用于分层预定的实时系统中的资源共享组件的统一接口