{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“讯息”：{“索引”：{“日期-部件”：[[2023,10,27]]，“日期-时间”：“2023-10-27T02:37:23Z”，“时间戳”：1698374243879}，“参考-计数”：16，“出版商”：“电气与电子工程师学会（IEEE）”，“问题”：“3”，“许可证”：[{“开始”：{-“日期-零件”：[[1995,5,1]]，时间”：“1995-05-01T00:00:00Z”，“timestamp”：799286400000}，“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-paint“rts“：[[1995,5]]}，“内政部”：“10.1109 \/52.382183”，“type”：“journal-article”，“created”：{“date-parts”：[[2002,8,24]]，“date-time”：“2002-08-24T18:32:16Z”，“timestamp”：1030213936000}，“page”：”42-53“，“source”：《Crossref》，“is-referenced-by-count”：20，“title”：[“分析过程控制系统的安全要求”]，“前缀”：”10.1109“，“卷”：“12”，“作者”：[{“给定”：”R.“，”家庭“：“de Lemos”，“sequence”：“first”，“affiliation”：[]}，{“given”：“A.”.1980.230208“}，{”key“：”BIBF300428“，”doi-asserted-by“：“publisher”，“DOI”：“10.1109\/32.67597”}，{“key”：“BIBF300427”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1016\/0167-6423（87）90035-9“}，}“key:”BIBF3004286“，”first page“：”1“，”article-title“：“安全关键计算系统的正式模型”，“author”：“saeed”，“year”：“1990”，“journal-title”：“Proc-Symp Safety of Computer Control systems”}，{“键”：“BIBF300421A”，“年份”：“1991年”，“日志标题”：“临时国防标准0055（第1部分）”}，{“关键”：“BIFB3004214”，“文章标题”：《安全关键系统的需求分析：化学批处理示例》，“作者”：“de lemos”，“年”：“1993年”，《日志标题》：“技术报告469”}：“作为安全关键系统需求分析案例研究的列车组”，“author”：“de lemos”，“year”：“1992”，“journal-title”：“the Computer J”}，{“key”：“BIBF300424”，“article-title“：“安全关键系统的需求分析形式化技术”，“author”:“de lemo”，“year”：，{“key”：“BIBF300425”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-1-4612-0931-7”}，{”key“：”BIBF3004282“，”first page“：“146166”，”article-title“：”三英里岛和切尔诺贝利核安全“，”author“：”holloway“，”year“1989”，“journal-title”：“Proc Intl Approach to nuclear safety“}，”{“key”：”BIFB300423“，”author“johnson”，“年份”：“1992”，“journal-title”：“人机交互心理任务分析与软件工程”}，{“key”：“BIBF3004212”，“year”：“1985”，“johnal-title:“Risk Analysis Risk Alsis in the Process Industries”}：“危险和可操作性研究”，“作者”：“lawley”，“年份”：“1973年”，“期刊标题”：“化学工程和加工”}，{“密钥”：“BIBF300422A”，“首页”：“799821”，“文章标题”：”安全关键系统的正式验证“，“作者“：”moser“，”年份“：”1990年“，”期刊标题“：”软件实践和经验“}，}“密钥“：”BIBF30042810“，”doi-asserted-by“：“publisher”，“DOI”：“10.1109\/TSE.1986.6313045”}]，“container-title”：[“IEEE软件”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx1\/52\/00382183.pdf？arnumber=382183”，”内容类型“：”未指定“，”内容版本“：”vor“，”intended-application“：”相似性检查“}]，”存放“：{“日期部分”：[[2021,11,29]]，“date-time”：“2021-11-29T20:08:45Z”，“timestamp”：1638216525000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/ieeexplore.iee.org\/document\/382183\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[1995,5]]}，）”references-count“：16，”journal-sissue“：”{“issue”：“3”}，“：”http://\/dx.doi.org\/10.109\/52.382183“，”关系“：{}，”ISSN“：[“0740-7459”]，“issn-type”：[{“value”：“0740-8459”，“type”:“print”}]，“subject”：[]，“published”：{“date-parts”：[[1995,5]]}}