{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,11]]，“日期时间”：“2024-01-11T23:21:19Z”，“时间戳”：1705015279918}，“参考计数”：10，“出版商”：“电气与电子工程师学会（IEEE）”，“问题”：“3”，“许可证”：[{“开始”：{'日期部分“：[[2013,5,1]]，”“日期时间我”：“2013-05-01T00:00:00Z”，“timestamp”：1367366400000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/ieee.html”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”shortcontainer-title“：[”ieee Softw.“]，”published-print“：{”date-parts“：[[2013,5]]}，”内政部“：“10.1109\/ms.2013.24”，“type”：“journal-article”，“created”：{“date-parts”：[[2013,2,21]]，“date-time”：“2013-02-21T21:02:28Z”，“timestamp”：1361480548000}，“page”：”35-41“，“source”：：“Crossref”，“is-referenced-by-count”：13，“title”：[“通过统计模型检查及早验证软件可靠性”]，“prefix”：”10.1109“，”volume“：”30“，“author”：[{“given”：“Youngjoo”，“family”：“Kim”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Okjoo”“：”Tai-Hyo“，”family“：”Kim“，”sequence“：”additional“，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref4”，“year”：“2005”，“journal-title”：“System Reliability Toolkit Reliability Information Analysis Center”}，{“key”：”ref3“，”year“：”2011“，”journal-title“：”Road Vehicles-Functional Safety ISO Standard 262626262键“：”参考6“，“author”：“halstead”，“year”：“1977”，“journal-title”：“Elements of Software Science”}，{“key”：“ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.1080\/00207720902957236”}、{“key”：”ref8“author:”humphrey“，”year“2005”，“journal-ttitle”：”PSP A Self Improvement Process for Software Engineers“}，”{“key”：“ref7”，“author”：“stellman”，“年份”：“2005年”，“新闻标题”：“应用软件项目管理”}，{“key”：“ref2”，“year”：“2003”，“journal-title”：“IEC 61508电气功能安全！电子\/可编程电子安全相关系统国际电工委员会”}：“Bayesian统计模型检查及其在Stateflow\/Simulink验证中的应用”，“author”：“zuliani”，“year”：“0”，“journal-title”：“Proc 13th ACM Interna'l Conf Hybrid Systems Computation and Control（HSCC 10）”}，{“key”：“ref1”，“author”，“herrmann”，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/52\/6504873\/0646804.pdf？arnumber=6468034”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“日期部分”：[2022,1,12]]，“日期时间”：“2022-01-12T16:21:03Z”，“时间戳”：1642004463000}，“分数”：1，“资源”：｛“primary”：｛“URL”：“http:\/\/ieexplore.ieee.org/document\/66468034\/”｝｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2013,5]]｝，“参考文献数”：10，“期刊问题”：｛“问题”：“3”｝，“URL”：“http:\/\/dx.doi.org/10.1109\/ms.201213.24”，“关系”：｛｝，“ISSN”：[“0740-7459”]，“ISSN type“：[｛”value“：”0740-7459“，”type“：”print“｝]，”subject“：[]，”已发布“：{“日期部分”：[[2013,5]]}}