{“id”：“https://openalex.org/W4295123624“，”doi“：”https://doi.org/10.1007/978-3-031-15842-1_5“，”title“：”基于模型的安全分析：实践经验“，”display_name“：”模型的安全性分析：实践体验“，”publication_year“：2022，”publitation_date“：”2022-01-01“，”ids“：{”openalex“：”https://openalex.org/W4295123624“，”doi“：”https://doi.org/10.1007/978-3-031-15842-1_5“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-031-15842-1_5“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5002053662“，”display_name“：”Bertille Noisette“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210165303“，”display_name“：”Safran（法国）“，”ror“：”https://ror.org/05sqf9v67“，”country_code“：”FR“，”type“：“company”，”lineage“：[”https://openalex.org/I4210165303“]}]，”countries“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”Bertille Noisette“，”raw _ afiliation_strings“：【”Safran Aircraft Engines，Rond-point Ren \u00e9 Ravaud，77550，Moissy-Cramayel，France“】，”afliations“：[{”raw _affiliation_string“：”Safrang Aircraftraft Enginies，Rond-point Ren \ u00e9Ravaude，77550.，Moissy-Cramayel，Frence“，”，“institution_ids”：【“”https://openalex.org/I4210165303“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5086310473“，”display_name“：”S\u00e9bastien Dobol“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210165303“，”display_name“：”Safran（法国）“，”ror“：”https://ror.org/05sqf9v67“，”country_code“：”FR“，”type“：“company”，”lineage“：[”https://openalex.org/I4210165303“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”S\u00e9bastien Dobol“，”raw _ afiliation_strings“：[“赛峰飞机发动机，Rond-point Ren \u00e 9 Ravaud，77550，Moissy-Cramayel，France”]，“afliations”：[{“raw_affiliation_string”：“赛峰航空发动机，Rond-point Ren\u00e_9 Ravaaud，7755，Moissy-Cramayel，France“，”机构ID“：[”https://openalex.org/I4210165303“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5013592482“，”display_name“：”Laur\u00e8ne Monteil“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210165303“，”display_name“：”Safran（法国）“，”ror“：”https://ror.org/05sqf9v67“，”country_code“：”FR“，”type“：“company”，”lineage“：[”https://openalex.org/I4210165303“]｝]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Laur\u00e8ne Monteil“，”raw_affiation_strings“：[”赛峰航空发动机，Rond point Ren\u00e9 Ravaud，77550，Moissy Cramayel，法国“]，”附属机构“：[{”raw_affiation_string“：”赛峰航空发动机，Rond point Ren\u00e9 Ravaud，77550，Moissy Cramayel，法国“，”机构ID“：[”https://openalex.org/I4210165303“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5002053662“]，”对应的机构ID“：[”https://openalex.org/I4210165303“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：1.267，”has_fulltext“：false，”cited_by_count“：1，”cited_by_percentile_year“：{“min”：67，“max”：76}，“biblio”：{“volume”：null、“issue”：null，“first_page”：“60”，“last_page”：“67”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T12423“，”display_name“：”软件可靠性评估和预测“，”score“：0.9995，”subfield“：｛”id“：”https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T12423“，”display_name“：”软件可靠性评估和预测“，”score“：0.9995，”subfield“：｛”id“：”https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9991，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9982，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.578427}，{”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.572772}，{”id“：”https://openalex.org/keywords/model-based-testing网站“，”display_name“：”基于模型的测试“，”score“：0.550386}，{”id“：”https://openalex.org/keywords/testing-effort-dependent-models网站“，”display_name“：”Testing-Effort Dependent Models“，”score“：0.530067}]，”concepts“：[{”id“：”https://openalex.org/C96324660，“wikidata”：https://www.wikidata.org/wiki/Q205446“，”display_name“：”Dataflow“，”level“：2，”score“：0.87955725}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8612833}，{”id“：”https://openalex.org/C191172861，“wikidata”：https://www.wikidata.org/wiki/Q7899321“，”display_name“：”上游（网络）“，”level“：2，”score“：0.6372563}，{”id“：”https://openalex.org/C192209626，“wikidata”：https://www.wikidata.org/wiki/Q190909“，”display_name“：”焦点（光学）“，”级别“：2，”分数“：0.57985955}，{”id“：”https://openalex.org/C43214815，“wikidata”：https://www.wikidata.org/wiki/Q7310987“，”display_name“：”可靠性（半导体）“，”level“：3，”score“：0.5632548}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.51671124}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.44201615}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.3245849}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C163258240，“wikidata”：https://www.wikidata.org/wiki/Q25342“，”display_name“：”功率（物理）“，”等级“：2，”分数“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”Physics“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C120665830，“wikidata”：https://www.wikidata.org/wiki/Q14620“，”display_name“：”Optics“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-031-15842-1_5“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：4，“referenced_works“：[”https://openalex.org/W1543654202","https://openalex.org/W2035568363","https://openalex.org/W2064759549","https://openalex.org/W2755316457“]，”related_works“：[”https://openalex.org/W3205626426","https://openalex.org/W2387826868","https://openalex.org/W2368438474","https://openalex.org/W2356029519","https://openalex.org/W2156783651","https://openalex.org/W2100229967","https://openalex.org/W2027229894","https://openalex.org/W1711517904","https://openalex.org/W1587906417","https://openalex.org/W1482977628“]，”ngrams_url“：”https://api.openalex.org/works/W4295123624/ngrams“，”“abstract_inverted_index”：{“基于模型”：[0]，“安全”：[1]，“分析”：[2]，“（MBSA）”：[3]，“已经”：[4]，“被”：[5,82]，“探索”：[6]，“在”：[7,28]，“赛峰”：[8]，“飞机”：[9]，“引擎”：[10]，“用于”：[1132]，“a”：[12,20,61,92121125164]，“少数”：[13]，“年”：[14]。，“The”：[15]，“objective”：[16]，“is”：[17,86]，“to”：[18,26,33,90103116158162168]，“termate”：[19]，“非常“：[21126]，“有希望”：[22]，“方法”，：[23]，“in”：[24156]，“顺序”：[25157]，“改进”：[27]，“the”：[29,55,69,87105113118152]，“end”：[30]，“our”：[31,47,51146]，“能力”：[32]，“地址”：[34]，“准时”：[35]，“安全”：[36]，“分析”：[37]，“on”：[38,68,76]，“产品”：[39]，“of”：[40,54108120134]，“increased”：[41]，“complexity”。“：[42]，“This”：[43]，“paper”：[44]，“presents”：[45]，“first”：[46]，“global”：[48]，“needs”：[49]，“and”：[50,97145]，“current”：[52147]，“state”：[53]，“art.”：[56]，“We”：[57130]，“use”：[58]，“SimfiaNeo”：[59]，“software”，“：[60]，”graphical“：[62]，“tool”：[63]，“with”：[64]124]，“多个”：[65]，“特征”：[66]，“基于”：[67]，“AltaRica”：[70]，“数据流”：[71]，“语言”。“：[72]，”然后“：[73]，”我们“：[74101142150]，”焦点“：[75]，”三个“：[77]，”特殊“：[78]，”问题，“：[79]，”其中“：[80141]，”有“：[81143]，”最近“：[83]，”探索：“：[84]，”什么“：[85]，”最佳“：[88106]，”方式“：[89]，”模型“：[91]，”失败“：[93]，”那“：[94]，”传播“：[95]，“下游”：[96]，“上游？“：[98]，“如何”：[99]，“应”：[100]，“继续”：[102]，“采取”：[104]，“受益”：[107]，“一个”：[109]，“现有”：[110]，“模型？“：[111]，”Does“：[112]，”MBSA“：[114]，”help“：[115]，”compute“：[117]，”reliability“：[119]，”dynamic“：/122]，”system“：%123166]，”long“：[127]，”mission“：[128]，”time？“：[129]，”当前“：[131]，”每个“：[133]，”这些“：[135]，”问题“：[136]，”一“：[137]，”或“：[138]，”两“：[139]，”方式“：[140]，”测试“：[144]，”结论。“：[148]，”最后，“：[149]，”绘制“：[151]，”下一步“：[153]，”步骤“：[154]，”识别“：[155]，”成为“：[159]，”最终“：[160]，”能够“：[161]，”证明“：[163]，”推进“：[165]，”谢谢“：[167]，”这个“：[169]，”方法。“：[170]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4295123624“，”counts_by_year“：[{”年“：2023，”引用_by_count“：1}]，”更新日期“：”2024-06-20T01:32:47.201578“，”创建日期“：“2022-09-11”}