Tools; Analytical models; Hardware; Hardware design languages; Estimation; Computer architecture; Standards;
机译:用于模型验证,硬件/软件协同仿真,性能优化和可定制源代码生成的方法和工具集
机译:容错系统的可靠性-硬件和软件组件交互的显式建模
机译:药物优化评估工具(MOAT):一种针对医院药剂师的意见以改善患者预后的预后模型。观察性研究的协议,更正:药品优化评估工具(MOAT):要预测的预后模型
机译:达沃斯:EDA工具包,用于可靠性评估,验证,优化和选择硬件模型
机译:可靠的嵌入式硬件系统的抽象解释器建模和验证方法。
机译:基于UML的软件开发中的可靠性建模和评估
机译:用于模型验证,硬件/软件协同仿真,性能优化和可定制源代码生成的方法和工具集
机译:基于模型的验证:可靠系统升级技术