{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,9]]，“日期时间”：“2024-09-09T18:24:11Z”，“时间戳”：172590625582}，“出版商位置”：“查姆”，“参考计数”：27，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“类型”：”打印“，“值”：“9783319641188”}，{“类型”：“电子”，“value”：“9783319641195”}]，“license”：[{“start”：{“date-parts”：[[2017,1,1]]，“date-time”：“2017-01-01T00:00:00Z”，“timestamp”：148322880000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]short-container-title“：[]，”published-print“：{”date-parts“：[2017]]}，“DOI”：“10.1007\/978-3-319-64119-5_15”，“type”：“book-chapter”，“created”：{“date-parts”：[[2017,8,1]]，“date-time”：“2017-08-01T13:05:09Z”，“timestamp”：1501592709000}，”page“：”227-240“，”source“Crossref”，“is-referenced-by-count”：6，“title”：[“基于模型的网络物理系统自动性能和安全意识动态自我评估方法”]，“前缀”：“10.1007”，“作者”：[{“给定”：“德久”，“家族”：“陈”，“序列”：“第一”，“从属”：[]}，{“已知”：“中海”，“家庭”：“鲁”，“顺序”：“附加”，“隶属”：[]}]，“成员”：“297”，“在线发布”：{“date-parts”：[[2017,8,2]]}，“reference”：[{“key”：“15_CR1”，“unstructured”：“SAE International，SAE Information Report:（J3016）与道路机动车辆自动驾驶系统相关术语的分类和定义”}，{“key”：：“欧盟委员会：智能交通系统。\nhttps:\/\/ec.europa.eu\/transport\/themes\/its_en”}，{“key”：“15_CR3”，“unstructured”：“普华永道半导体报告：汽车聚光灯。普华永路，2013年9月”}，“非结构化”：“Chen，D.等人：系统协作系统集成安全保障的知识在环方法。在：IEEE第七届智能计算和信息系统国际会议，ICICIS 2015，埃及开罗，2013年12月14日，2015年12月14日”，“DOI”：“10.1109\/IntelCIS.205.7397237”}，{“key”：“15_CR6”，“非结构化”：“EAS-ADL:EAS-ADL领域模型规范，M.2.1.12版（2014）”}，{“issue”：“2”，“key”：“15_CR7”，“doi-asserted-by”：“crossref”，“first-page”：“25”，“doi”：“10.4018\/IJCSSA.2015070103”，“volume”：”3“author”：“R Kolagari”，“year”：“2015”，“unstructured”：“Kolagari，R.等人：使用EAST-ADL对汽车结构进行基于模型的分析和工程：重温。国际期刊《概念结构智能应用》（IJCSSA）3（2），25\u201370（2015）。IGI Global Publishing，Hershey，USA”，“期刊标题”：“国际期刊《理念结构智能应用（IJCSSA）》”}，{“关键”：“15_CR8”，“非结构化”：“Benveniste，A.等人：基于多视点契约的规范和设计。In:第六届组件和对象形式化方法国际研讨会，FMCO 2007（2007）”}，{“key”：“15_CR9”，“unstructured”：“Benviniste，A等人：系统设计契约。报告RR-8147，Inria，2012年11月”}：“crossref”，“unstructured”：“Maler，O.，et al.：监测连续信号的时间特性。In：定时和容错系统的形式化技术、建模和分析，FORMATS联合国际会议（2004）”，“DOI”：“10.1007 \/978-3-540-30206-3_12”}，{“key”：“15_CR11”，“非结构化”：“Anthony，R.等人：DySCAS中的上下文软件适应。EASST的电子通信：普及和普遍服务的上下文软件适配机制（CAMPUS），第19卷。欧洲软件科学与技术协会（EASST）（2009年）。ISSN 1863-2122“}，{“volume-title”：“隐马尔可夫模型和贝叶斯网络简介。隐马尔可夫模型：在计算机视觉中的应用”，“year”：“2001”，“author”：“Z Ghahramani”，“key”：“15_CR12”，“unstructured”：“Ghahramani，Z.：隐马尔可夫模型和贝叶斯网络简介。隐马尔可夫模型：在计算机视觉中的应用。世界科学出版公司，River Edge（2001）“}，{“issue”：“6”，“key”：“15_CR13”，“doi-asserted-by”：“crossref”，“first page”：”547“，“doi”：“10.1016\/j.peva.2006.07.003”，“volume”：：“64”，“author”：“Y Liu”，“year”：“2007”，“unstructured”：“Liu，Y.等人：随机QoS分析的演算。Perform.Eval.64（6），547\u2013572（2007）”，“日志标题“：”执行。评估。“}，{”volume-title“：”随机网络微积分“，”year“：”2008“，”author“：”Y Jiang“，”key“：”15_CR14“，”unstructured“：”Jiang，Y.，Liu，Y.：“随机网络微微积分。Springer Publishing Company，Heidelberg（2008）”}“volume-tiple”：“故障树手册”，“year”：“1981”，“author”：“WE Vesely”，“key”：“15_CR15”，“unstructure”：“”Wesely，W.E.：故障树手册。美国核监管委员会报告NUREG-0492，美国核管理委员会，华盛顿特区（1981）“}，{“volume-title”：“失效模式和影响分析”，“year”：“1995”，“author”：“P Palady”，“key”：“15_CR16”，“unstructured”：“Palady，P.：失效模式和效应分析。PT Publications，West Palm Beach（1995）。ISBN:0-94545-617-4”}，}，“issue”：“6”，”“key“：“15_CR17”，“doi-asserted-by“：”publisher“，”first page“：”196“，“doi”：“10.1007\/s00502-011-0007-7”，“volume”：“128”，“author”：“D Chen”，“year”：“2011”，“unstructured”：“Chen，D.，et al.：汽车嵌入式系统的集成安全和架构建模。e&i Elektrotechnik und Informationstechnik 128（6），196\u2013202（2011）。doi:\n10.1007\/s00502-011-0007-7\n\n ISSN:0932-383X“，”journal-title“：”e&i Elektrotechnik und Informationstechnik“}，{“key”：“15_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“Chen，D.等人：使用EAST-ADL进行系统建模，通过HiP-HOPS进行故障树分析。In:第四届IFAC离散系统可靠控制研讨会，英国约克，20136年9月4日”，“DOI”：“10.3182\/20130904-3-UK-4041.00043”}，{“key”：“15_CR19”，“series-title”：“计算机科学讲义”，“DOI-asserted-by”：“publisher”，“first page”：”139“，“DOI:”10.1007\/3-540-48249-0_13“，“volume-title”：”计算机安全、可靠性和安全”，“作者”：“Y Papadopoulos”，“年份”：“1999”，“非结构化”：“Papadopoulos，Y.，McDermid，J.A.：分层进行的危险源和传播研究。收录：Felici，M.，Kanoun，K.（编辑）SAFECOMP 1999。LNCS，第1698卷，第139\u2013152页。斯普林格，海德堡（1999）。doi:\n10.1007\/3-540-48249-0_13“}，{“key”：“15_CR20”，“unstructured”：“Sadigh，D.，Kapoor，A.：概率信号时序逻辑在不确定性下的安全控制。机器人学：科学与系统（RSS），2016年6月”}，}，“key“：”15_CR21“，”unstructure“：”SysML:OMG系统建模语言（OMG SysML\u2122），OMG“}软件工程系列中的SEI系列”，“卷-时间”：“使用AADL的基于模型的工程：SAE架构分析与设计语言简介”，“作者”：“PH Feiler”，“年份”：“2012年”，“非结构化”：“Feiler，P.H.，Gluch，D.P.：使用AADL-的基于模型工程：SAE构架分析与设计语简介。软件工程系列中的SEI系列。Addison-Wesley Professional，波士顿（2012）。ISBN:10:0-321-88894-4“}，{“key”：“15_CR23”，“doi-asserted-by”：“crossref”，“unstructured”：“Silva，E.，et al.：设计系统间系统的面向任务的方法。In:Proceedings of the 10th systems-of-systems Engineering Conference（SoSE），pp.346\u2013351，May 2015”，“doi”：“10.1109\/SYSOSE.2015.7151951”}，}“key:”15_CR24“，”doi-assert-by“：”crossref“，”unstructured“：”Bryans，J.等人：系统体系的SysML契约。2014年6月，IEEE系统体系工程会议“，”DOI“：”10.1109\/SYSOSE.2014.6892466“}，{”issue“：”4“，”key“：”15_CR25“，”DOI-asserted-by“：”crossref“，”first page“：“903”，”DOI:“10.1109\/TRO.2014.2312453”，“volume”：“30”，“author”：“M Althoff”，“year”：“2014”，“unstructured”：“Althoff，M.等人：使用可达性分析对自动道路车辆进行在线验证。IEEE传输。机器人。30（4），903\u2013918（2014）“，“期刊标题”：“IEEE Trans。机器人。“}，{”key“：”15_CR26“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“134”，“doi”：“10.1007\/978-3642-21768-5_11”，“volume-title”：“Tests and Proofs”，“author”：“K Meinke”，“year”：“2011”，“unstructured”：“”Meinke，K.，Sindhu，M.A.：反应系统的基于增量学习的测试。收录：Gogolla，M.，Wolff，B.（编辑）TAP 2011。LNCS，第6706卷，第134\u2013151页。斯普林格，海德堡（2011）。doi:\n0.1007\/978-3-642-21768-5_11\n\nIEEE传输。机器人。30（4），903-918（2014）“}，{”key“：”15_CR27“，”doi-asserted-by“：”crossref“，”first page“：“7036”，“doi”：“10.1016\/j.ces.2006.07.007”，“volume”：“61”，“author”：“A Meel”，“year”：“2006”，“unstructured”：“Meel，A.：使用贝叶斯理论的植物特定动态失效评估。化学工程科学.61，7036\u20137056（2006）”，“期刊标题”：“化学工程科学“}]，”container-title“：[“计算机科学课堂讲稿”，“基于模型的安全与评估”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3319-64119-5_15”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2017,8,1]]，“date-time“：”2017-08-01T13:09:56Z“，”timestamp“：1501592996000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com/10.1007\/978-3-319-64119-5_15”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-parts”：[2017年]}，《国际标准图书编号》：[“9783319641188”，“9783329641195”]，“references-count”：27，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-319-64119-5_15”，“关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”type“：”electronic“，”value“：”1611-349“}]，”subject“：【】，”published“：{”date-parts“：【2017】}}}