法律状态公告日
法律状态信息
法律状态
2015-09-30
授权
授权
2013-05-01
实质审查的生效 IPC(主分类):G06F11/28 申请日:20121227
实质审查的生效
2013-04-03
公开
公开
机译: 存储验证支持程序,验证支持设备和用于支持对包括不同硬件型号的硬件系统设计进行验证的验证支持方法的计算机可读记录介质
机译: 故障容错支持方法,故障容错支持装置和计算机程序
机译: 程序可以由计算机验证支持设备,验证支持方法,验证支持方法以及存储该程序的记录介质执行。