{“id”：“https://openalex.org/W2055856629“，”doi“：”https://doi.org/10.1007/s10009-006-0001-2“，”title“：”The FSAP/NuSMV-SA Safety Analysis Platform“，”display_name“：”The FSAP/Nu SMV-SA安全分析平台“，”publication_year“：2006，”publitation_date“：”2006-06-29“，”ids“：{”openalex“：”https://openalex.org/W2055856629“，”doi“：”https://doi.org/10.1007/s10009-006-0001-2“，”mag“：”2055856629“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10009-006-0001-2“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S122567160“，”“display_name”“：”《国际技术转让软件工具杂志》“，”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”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，url“：null，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5076775585“，”display_name“：”Marco Bozzano“，”orcid“：”https://orcid.org/0000-0002-4135-103X“}，”机构“：[]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Marco Bozzano“，”raw _ afiliation_strings“：[“ITC-IRST，Trento，Italy”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5086483871“，”display_name“：”Adolfo Villafiorita“，”orcid“：null}，”institutions“：[]，”countries“：[”IT“]，”is_corresponding“：false，”raw_author_name“，”Adolfo-Villafiolita“，“raw_affiliation_strings”：[”ITC-IRST，Trento，Italy“]}]，”countries_distiction_count“：1，”institutions_disticent_count ds“：[]，”apc_list“：{”value“：2390，”currency“：”EUR“，”value_usd“：2990，”provenance“：”doaj“}，”apc_payed“：{”value“:2390，”curency“：”欧元“，”value_usd”：2990“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：106，“cited_by_percentile_year”：{“min”：97，“max”：98}，《图书》：{卷“：”9“，”问题“：”1“，”first_page“：”5“，”last_page“：”24“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9991，”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/T13295“，”“display_name”：“复杂系统开发中的安全保证”，“score”：0.9982，“subfield”：{“id”：“https://openalex.org/subfields/2213“，”display_name“：”安全、风险、可靠性和质量“｝，”field“：｛”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.599094}，{”id“：”https://openalex.org/keywords/functional安全“，”display_name“：”功能安全“，”score“：0.544429}，{”id“：”https://openalex.org/keywords/sensitity-analysis网站“，”display_name“：”敏感性分析“，”score“：0.519498}，{”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.51737}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.516656}]，”concepts“：[{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.7727215}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.754774}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.5502078}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.4914931｝，｛”id“：”https://openalex.org/C163707989，“wikidata”：https://www.wikidata.org/wiki/Q1996307“，”display_name“：”生命临界系统“，”level“：3，”score“：0.47975838}，{”id“：”https://openalex.org/C113843644，“wikidata”：https://www.wikidata.org/wiki/Q901882“，”display_name“：”Interface（matter）“，”level“：4，”score“：0.4422634｝，｛”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”形式方法“，”level“：2，”score“：0.43141973}，{”id“：”https://openalex.org/C200601418，“wikidata”：https://www.wikidata.org/wiki/Q2193887“，”display_name“：”可靠性工程“，”level“：1，”score“：0.38302225}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.37970832｝，｛”id“：”https://openalex.org/C201995342，“wikidata”：https://www.wikidata.org/wiki/Q682496“，”display_name“：”系统工程“，”level“：1，”score“：0.37323043}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.3497761}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.17597118}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.14295083}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.13855278}，{”id“：”https://openalex.org/C157915830，“wikidata”：https://www.wikidata.org/wiki/Q2928001“，”display_name“：”气泡“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C129307140，“wikidata”：https://www.wikidata.org/wiki/Q6795880“，”display_name“：”最大气泡压力法“，”level“：3，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10009-006-0001-2“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S122567160“，”“display_name”“：”《国际技术转让软件工具杂志》“，”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”：“journal”}，“license”：null，“licence_id”：null'，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：[/]，“versions”：[]]，“referenced_works_count”：46，“referrenced_works”：[“https://openalex.org/W1489391022","https://openalex.org/W1496443761","https://openalex.org/W1511476283","https://openalex.org/W1517793941","https://openalex.org/W1521005453","https://openalex.org/W1521615649","https://openalex.org/W1539369192","https://openalex.org/W1543654202","https://openalex.org/W1566925011","https://openalex.org/W1571054242","https://openalex.org/W1576285755","https://openalex.org/W1655053995","https://openalex.org/W1802815921","https://openalex.org/W1822320350","https://openalex.org/W1867089059","https://openalex.org/W1976880037","https://openalex.org/W1983711511","https://openalex.org/W1996165017","https://openalex.org/W1996832037","https://openalex.org/W2000947342","https://openalex.org/W2001289891","https://openalex.org/W2015292805","https://openalex.org/W2029120383","https://openalex.org/W2030224590","https://openalex.org/W2048972217","https://openalex.org/W2051068608","https://openalex.org/W2060095702","https://openalex.org/W2094530979","https://openalex.org/W2096283629","https://openalex.org/W2106184536","https://openalex.org/W2113727965","https://openalex.org/W2114037873","https://openalex.org/W2115309705","https://openalex.org/W2119398027","https://openalex.org/W2123817584网址","https://openalex.org/W2147340401","https://openalex.org/W2164041037","https://openalex.org/W2170486381","https://openalex.org/W2177397681","https://openalex.org/W2282785358","https://openalex.org/W2607230115","https://openalex.org/W3145267187","https://openalex.org/W4243645102","https://openalex.org/W4300021588","https://openalex.org/W61993190","https://openalex.org/W78978769“]，”related_works“：[”https://openalex.org/W4319993326","https://openalex.org/W4315606162","https://openalex.org/W4312733571","https://openalex.org/W2340807904","https://openalex.org/W2149716943","https://openalex.org/W2037121848","https://openalex.org/W2027155274","https://openalex.org/W2006962382","https://openalex.org/W161255303","https://openalex.org/W1544097700“]，”ngrams_url“：”https://api.openalex.org/works/W2055856629/ngrams网站“，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2055856629“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2023，”ciped_by_cunt“：1}，”{“年份”：2022，“cited_by_count”：4}，“{”年度“：2021，”cited_by_count“年份”：2017，“引用_by_count”：9}，{“年份”:2016，“引用_ by_counts”：6}，}“年份“：2015，“引用的by_count:9}，{“年份”：2014，“引用_ by_count”：8}，{”年份”：2013，“引用_by_counts”：9}，}”年份“：2012，“引用的_by_cunt”：11}]，“更新日期”：“2024-05-22T06:53:50.147122”，“创建日期”：”2016-06-24“}