{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{-“日期部分”:[[2022,3,29]],“日期时间”:“2022-03-29T09:39:12Z”,“时间戳”:1648546752951},“引用计数”:3,“发布者”:“IEEE Compute.Soc”,“内容域”:{“域”:[],“交叉标记限制”:false},”短容器时间“:[]”,“DO”I“:”10.1109\/glsv.1999.757405“,“type”:“procesdings-article”,“created”:{“date-parts”:[[2003,1,20]],“date-time”:“2003-01-20T10:55:24Z”,“timestamp”:1043060124000},“source”:”Crossref“,“is-referenced-by-count”:0,“title”:[“测试安全关键软件的方法”],“prefix”:“10.1109”,“author”:[{“family”:“Weiwei Li”,”sequence“:”first“,”affiliation“:[]},{“家族”:”徐中伟“,“序列”:“附加”,“隶属关系”:[]},{“家族”:“严进”,“序列”:“附加”,“隶属关系”:[]}],“成员”:“263”,“参考文献”:[{“密钥”:“ref3”,“年份”:“1994”,“期刊标题”:“铁路应用-铁路控制和保护系统软件”},{“密钥”:“ref2”,“作者”:“佩里”,“年份”:“1995”,“期刊标题”:“软件测试的有效方法”},{“key”:“ref1”,“doi-asserted-by”:“publisher”,“doi”:“10.1109\/24.589933”}],“event”:{“name”:“第九届大湖区VLSI研讨会”,“location”:“Ypsilanti,MI,USA”,“缩写词”:“GLSV-99”}、“container-title”:[“第九次大湖区超大规模集成电路研讨会论文集”],“original-tittle”:[],“link”:[{“URL”:“http://\/xplorestaging.ieee.org\/ielx4\/6127\/16377\/00757405.pdf?arnumber=757405”,“内容类型”:“未指定”,“content-version”:“vor”,“intended-application”:“相似性检查”}],“存放”:{“日期部分”:[[2017,3,9]],“日期时间”:“2017-03-09T20:06:05Z”,“时间戳”:1489089965000},“分数”:1,“资源”:{“主要”:{“URL”:“http://\/ieeexplore.iee.org\/document\/757405\/”}},“副标题”:[],“短标题”:[],“已发布”:{“日期部分”:[[null]]},”引用计数“:3,”URL“:”http://\/dx.doi.org\/10.109\/glsv.1999.757405“,”关系“:{},‘主题’:[]}