{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{-“日期部分”:[[2022,9,8]],“日期时间”:“2022-09-08T04:46:26Z”,“时间戳”:1662612386700},“发布者位置”:“Cham”,“引用计数”:8,“发布商”:“Springer International Publishing”,“isbn-type”:[{“值”:“978303158414”,“类型”:”打印“},{“值”:“9783031158421”,“type”:“electronic”}],“license”:[{“start”:{“date parts”:[[2022,1,1]],“date time”:“2022-01-01T00:00:00Z”,“timestamp”:1640995200000},“content version”:“tdm”,“delay in days”:0,“URL”:“https://\\www.springer.com\/tdm”},{“start”:{“date parts”:[[2022,1,1]],“date time”:“2022-01-01T00:00:00Z”,“timestamp”:1640995200000},“content版本”:“vor”,“delay-in-days”:0,“URL”:“https:\/\/www.springer.com\/tdm”}],“content-domain”:{“domain”:[“link.springer.com”],“crossmark-restriction”:false},“short-container-title”:[],“published-print”:{“date-parts”:[2022]},”DOI“:”10.1007\/978-3-031-15842-1_3“,”type“:”book-capter“,”created“:{”date-part“:[[[2022,9,8]],“日期-时间”:“2022-09-08T04:02:50Z”,“时间戳”:1662609770000},“页面”:“31-42”,“更新策略”:“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”,“源代码”:“Crossref”、“is-referenced-by-count”:0,“标题”:[“航空MBSA:支持安全活动的方式”],“前缀”:“10.1007”,”作者“:[{”给定“:”Christophe“,”family“:”Frazza“,”sequence“:”first“,”affiliation:[]},{“给定”:“Pierre”,“family”:“Darfeuil”,“sequence”:“additional”,“affiliation”:[]},{“given”:“Jean”,“家族”:“Gauthier”,“serquence”:“additionable”,“filiation“:[]{”,“member”:“297”,“published-online”:{“date-parts”:[2022,9,9]]}:“SAE,ARP4761:民用机载系统和设备安全评估过程指南和方法(1996)”},{“问题”:“8\u20139”,“关键”:“3_CR2”,“首页”:“1033”,“卷”:“33”,“作者”:“G点”,“年份”:“1999”,“非结构化”:“Point,G.,Rauzy,A.:哥斯达黎加:作为描述语言的约束自动机。J.europe\u00e9en des syst\u00e8mes automatics\u00e9s 33(8\u20139),1033\u20131052(1999)”,“期刊标题”:“J.europe\u00e9en des syst\u00e8mes automatics\u00e9s”},{“key”:“3_CR3”,“非结构化”:“Delange,J.,Feiler,P.:使用AADL支持ARP4761安全评估过程。嵌入式实时软件和系统(ERTS2014),2014年2月,法国图卢兹。\u00a0(hal-02271282)”},{“key”:“3_CR4”,“非结构化”:“FALCON 7X认证收集27_1-300,主飞行控制系统安全分析,达索航空参考DGT91338(2003年5月21日第1期,2017年2月14日第13期)”},{“问题”:“1”,“密钥”:“3_CR5”,“首页”:“21”,“卷”:“2”,“作者”:“P Fenelon”,“年份”:“1994”,“非结构化”:“Fenelon,P.,McDermid,J.A.,Nicholson,M.,Pumfrey,D.J.:走向综合安全分析和设计。ACM Comput.Rev.2(1),21\u201332(1994)”,“期刊标题”:“ACM Compute.Rev.”},{“键”:“3_CR6”,“非结构化”:“\u00c5kerlund O.,et al.:ESACS:复杂系统设计和安全分析的综合方法。In:Proceedings of ESREL.Balkema(2003)”},{“key”:“3_CR7”,“unstructured”:“\u 00c5Kerlund O.et al.,ISAAC,功能、几何和人的综合安全分析框架:“3_CR8”,“非结构化”:“Papadopoulos,C.,et al.:ARP4754A,SAE 2011 AeroTech Congress&Exhibition,Toulouse,France,2011年10月中系统开发过程三个细化阶段的基于模型的安全评估”}],“容器-标签”:[“基于模型的安全和评估”,“计算机科学课堂讲稿”],“原始标题”:[],“link”:[{“URL”:“https:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-031-15842-1_3”,“content-type”:“未指定”,“内容-版本”:“vor”,“intended-application”:“相似性检查”}],“存放”:{“date-parts”:[[2022,9,8]],“日期-时间”:“2022-09-08T04:02:59Z”,“时间戳”:1662609779000},“分数”:1,“资源”:{primary:{“URL”:“https:\/\/link.springer.com/10.1007\/978-3-031-15842-1_3”}},“副标题”:[],“短标题”:[],“已发布”:{“日期-部件”:[[2022]]},”ISBN“:[”9783031158414“,“978303118421”],“引用计数”:8,“URL”:“http://\/dx.doi.org\/10.10007\/988-3-03115842-1_3”,“关系”:{},“:[”0302-9743“,”1611-3349“],”ISSN-type“:[{”value“:”0302-7743“,{“value”:“1611-3349”,“type”:”electronic“}],“subject”:[],“published”:{“date-parts”:[[2022]]},“assertion”:[{“value”:“2022年9月9日”,“order”:1,“name”:“first_online”,“label”:“first online”,”group“:{”name“:”ChapterHistory“,”label“:”“Chapter History“,”label“:”conference acronym“,”group“:{”name“:“ConferenceInfo”,“label”:“Confection Information”}},{“value”:“基于模型的安全与评估国际研讨会”,“order”:2,“name”:“Conference_name”,“标签”:“会议名称”,“group”::“ConferenceInfo”,“label”:“ConferenceInformation”}},{“value”:“Germany”,“order”:4,“name”:“Conference_country”,“label”:“ConferenceCountry”,“group”:{“name”:“ConferenceInfo”,“label”:“ConferenceInformation”},{“value”:“2022”,“order”:5,“name”:“Conference_eyear”,“label”:“ConferenceYear”,“group”:{“name”:“ConferenceInfo”,“label”:“ConferenceInformation”}},{“value”:“2022年9月5日”,“order”:7,“name”:“conference_start_date”,“label”:“会议开始日期”,“group”:8英寸,“order”:9,“name”:“conference_number”,“label”:“conference number”,“group”:{“name”:“ConferenceInfo”,”label“:“Confection Information”}},{“value”:“imbsa2022”,“order:10,”name“:”conference_id“,”lable“:”ConferenceID“,”group“:{”name“:”ConferencieInfo“,”标签“:”会议信息“}}”,{”value“:”https:\\/easyconferences.eu\/imbsa202 2\/“,”订单“:11,“name”:“conference_url”,“label”:“conference url”,“group”:{“name”:“ConferenceInfo”,“标签”:“会议信息”}},{“value”:“Single-blind”,“order”:1,“name“:”type“,”label“:”type“,”group“::“conference_management_system”,“label”:“会议管理系统”,“group”:{“name”:“ConfEventPeerReviewInformation”:“ConfEventPeerReviewInformation”,“label”:“同行评审信息(由会议组织者提供)”}}:“3”,“order”:5,“name”:“number_of_short_papers_accepted”,“label”:“接受的短文数”,“group”:{“name”:“ConfEventPeerReviewInformation”,“标签”:“同行评审信息(由会议组织者提供)”}},{“value”:“56%-值由等式计算\”已接受的完整论文数\/已发送供审阅的提交数*100”,然后四舍五入为整数。“,”订单“:6,”名称“:”acceptance_rate_of_Full_Papers“,”标签“:”完整论文的接受率“,”组“:{”name“:”ConfEventPeerReviewInformation“,”label“:”同行审阅信息(由会议组织者提供)“}},{”value“:”3“,“order”:7,“name”:“average_number_of_reviews_per_paper”,“label”:“每篇论文的平均评论数”,“group”:{“name”:“ConfEventPeerReviewInformation”,“标签”:“同行评论信息(由会议组织者提供)”}},{“value”:“2”,“orders”:8,“name”:“average_nument_of_papers_per_reviewer”,”label“:“每位审阅者的平均论文数”,“group”:{“name”:“ConfEventPeerReviewInformation”,“label”:“同行评审信息(由会议组织者提供)”}}}]}}