{“id”：“https://openalex.org/W1503429725“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_42“，”title“：”BISIMULATOR:一个用于在线等价性检查的模块化工具“，”display_name“：”BISIMULATOR：一个用于实时等价性检查模块化工具”，“publication_year”：2005，“publiation_date”：“2005-01-01”，“ids”：{“openalex”：“https://openalex.org/W1503429725“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_42“，”mag“：”1503429725“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_42，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_42.pdf“，”源“：｛”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_42.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5053221103“，”display_name“：”Damien Bergamini“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210101348“，”display_name“：”格勒诺布尔阿尔卑斯大学中心\u00e9“，”ror“：”https://ror.org/00n8d6z93“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1326498283","https://openalex.org/I4210101348“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Damien Bergamini“，”raw _ afiliation_strings“：[“Inria Rh\u00f4ne-Alpes/Wasy，655，av.de l\u2019Europe，38330，Montbonnot St Martin，France”]，”从属关系“：[{”raw _affiliation_strong“：”Inria R H\u00f 4ne-Alpes/Vasy，655、av.de l \u2019欧洲，38330，Montbonnot St Martin，法国“机构ID“：[”https://openalex.org/I4210101348“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5047737176“，”display_name“：”Nicolas Descoubes“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210101348“，”display_name“：”格勒诺布尔阿尔卑斯大学中心\u00e9“，”ror“：”https://ror.org/00n8d6z93“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1326498283","https://openalex.org/I4210101348“]}]，”countries“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Nicolas Descoubes“，”raw _ afiliation_strings“：【”Inria Rh\u00f4ne-Alpes/Wasy，655，av.de l\u2019Europe，38330，Montbonnot St Martin，France“】，”affiliations“：[{”raw _affiliation_strong“：”Inria-Rh\u 00f4NE-Alpes/Vasy，655、av.de l \u2019欧洲，38330，Montbonnot St Martin，法国“机构ID“：[”https://openalex.org/I4210101348“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5004568042“，”display_name“：”Christophe Joubert“，”orcid“：”https://orcid.org/0000-0002-1767-5675}，“机构”：[{“id”：https://openalex.org/I4210101348“，”display_name“：”格勒诺布尔阿尔卑斯大学中心\u00e9“，”ror“：”https://ror.org/00n8d6z93“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1326498283","https://openalex.org/I4210101348“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Christophe Joubert“，”raw _ afiliation_strings“：[“Inria Rh\u00f4ne-Alpes/Wasy，655，av.de l\u2019Europe，38330，Montbonnot St Martin，France”]，”从属关系“：[{”raw _affiliation_strong“：”Inria Roh\u000f4ne-Alpes/Wassy，655,av.de l \u2019 9欧洲，38330，Montbonnot St Martin，法国“机构ID“：[”https://openalex.org/I4210101348“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5068981088“，”display_name“：”Radu Mateescu“，”orcid“：”https://orcid.org/0000-0002-1329-7558}，“机构”：[{“id”：https://openalex.org/I4210101348“，”display_name“：”格勒诺布尔阿尔卑斯大学中心\u00e9“，”ror“：”https://ror.org/00n8d6z93“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1326498283","https://openalex.org/I4210101348“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Radu Mateescu“，”raw _ afiliation_strings“：[“Inria Rh\u00f4ne-Alpes/Wasy，655，av.de l\u2019Europe，38330，Montbonnot St Martin，France”]，”从属关系“：[{”raw _affiliation_strong“：”Inria Roh\u00 f4ne-Alpes/Wassy，655,av.de l \u2019欧洲，38330，Montbonnot St Martin，法国“机构ID“：[”https://openalex.org/I4210101348“]}]}]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：3.33，”has_fulltext“：false，”cited_by_count d_percentile“：{“值”：0.941787，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：91，”max“：92}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“581”，“last_page”：“595”}，‘is_retracted’：false、“is_paratext”：falsehttps://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9994，“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.9994，“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.997，”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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9961，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/formal-equivalence-checking“，”display_name“：”形式等价性检查“，”score“：0.88183045}，{”id“：”https://openalex.org/keywords/equivalence-relation网站“，”display_name“：”等价关系“，”score“：0.6198109｝，｛”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.591857}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.558163}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.555607｝，｛”id“：”https://openalex.org/keywords/fault-detection-and-correction网站“，”display_name“：”故障检测与纠正“，”score“：0.541125}，{”id“：”https://openalex.org/keywords/检查点“，”display_name“：”检查点“，”score“：0.532652}，{”id“：”https://openalex.org/keywords/bisimulation网站“，”display_name“：”双向模拟“，”score“：0.41300845}，{”id“：”https://openalex.org/keywords/onnafly网站“，”display_name“：”On-the-fly“，”score“：0.41018397}]，”concepts“：[{”id“：”https://openalex.org/C96654402，“wikidata”：https://www.wikidata.org/wiki/Q5469962“，”display_name“：”形式等价性检查“，”level“：3，”score“：0.88183045}，{”id“：”https://openalex.org/C54732982，“wikidata”：https://www.wikidata.org/wiki/Q1415345“，”display_name“：”Modulo“，”level“：2，”score“：0.84014964}，{”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.7030099}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945网址“，”display_name“：”等价（正式语言）“，”level“：2，”score“：0.6370173}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.6367569}，{”id“：”https://openalex.org/C156103551，“wikidata”：https://www.wikidata.org/wiki/Q130998网址“，”display_name“：”等价关系“，”level“：2，”score“：0.6198109}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.5866607}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5180157}，{”id“：”https://openalex.org/C2780801425，“wikidata”：https://www.wikidata.org/wiki/Q5164392“，”display_name“：”Construct（python库）“，”level“：2，”score“：0.44445032}，{”id“：”https://openalex.org/C135315306，“wikidata”：https://www.wikidata.org/wiki/Q866364“，”display_name“：”双向模拟“，”level“：2，”score“：0.41300845}，{”id“：”https://openalex.org/C2780385302，“wikidata”：https://www.wikidata.org/wiki/Q367158“，”“display_name”“：”协议（科学）“，”级别“：3，”分数“：0.41097212}，{”id“：”https://openalex.org/C2781020372，“wikidata”：https://www.wikidata.org/wiki/Q533093“，”display_name“：”On-the-fly“，”level“：2，”score“：0.41018397}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.39543533}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3744721}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.3685739}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.27684575}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.2556164}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.15227818｝，｛”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C204787440，“wikidata”：https://www.wikidata.org/wiki/Q188504“，”display_name“：”替代医学“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C142724271，“wikidata”：https://www.wikidata.org/wiki/Q7208“，”display_name“：”病理“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_42，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_42.pdf“，”源“：｛”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：false，“landing_page_url”：“https://hal.inia.fr/hal-00685325“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://inria.hal.science/hal-00685325“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：number，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url”：“https://doi.org/10.1007/978-3-540-31980-1_42，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_42.pdf“，”源“：｛”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”display_name“：”和平、正义和强大的机构“，”“score”：0.63，“id”：“”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：10，”referrenced_works“：【”https://openalex.org/W1483422122","https://openalex.org/W1530087756","https://openalex.org/W1573853539网址","https://openalex.org/W1582642570","https://openalex.org/W1604282120","https://openalex.org/W2031924784","https://openalex.org/W2159763578","https://openalex.org/W2502084936","https://openalex.org/W2561675875","https://openalex.org/W2756011084“]，”related_works“：[”https://openalex.org/W4388918135","https://openalex.org/W4312254064","https://openalex.org/W4231604734","https://openalex.org/W2909184961","https://openalex.org/W2136070637","https://openalex.org/W2102135785","https://openalex.org/W2031924784","https://openalex.org/W153285663","https://openalex.org/W1522712643","https://openalex.org/W1495872178“]，”abstract_inverted_index“：{”The“：[0,63]，”equivalence“：[1,30,39]，”checking“：[2]，”problem“：[3]，”composes“：[4]，”in“：[5,72,81]，”verifying“：[6]，”that“：[7]，”a“：[8,11,18,28]，”system“：[9]，”规范“：[16]，“服务）”：[19]，“by”：[20]，“comparing”：[21]，“their”：[22]，“Labeled”：[23]，“过渡”：[24]，“系统”：[25]，“（有限）”：[26]，“模”：[27]，“给定”：[29]，“关系”：[31]，“两个”：[32]，“方法”：[33]，“是”：[34]，“传统”：[35]，“使用”：[36]，“到”：[37,44,57,68]，“执行”：[38]，“检查：”：[40]，“全局”：[41]，“验证”：[42,55]，“要求”：[43]，“construct”：[45]，“the”：[46]，“Two”：[47]，“Ltss”：[48]，“before”：[49]，“comparison”：[50]，“where”：[51]，“local”：[52]，“（or”：[53]，“on-fly）”：[54]，“allows”：[56]，“explore”：[58]，“them”：[59]，“incrementally”：[60]，“during”：[61]，“comparison”：[62]，“later”：[64]，“approach”：【65】，“is”：【66】，“able”：【67】，“detect”：【69】，“errors”：【70】，“even”：【71】，“禁止“：[73]，”大型“：[74]，”系统“：[75]，”和“：[76]，”因此“：[77]，”显示“：[78]，”更多“：[79]，“有效”：[80]，“战斗”：[82]，“状态”：[83]，“爆炸”：[84]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W1503429725“，”“counts_by_year”：[{“年份”：2022，”“cited_by_count”：2}，{“年度”：2021，”“cited_by_cunt”：2%n，{”“年”：2020，”“cited_by-count”“：1}，”“年份”“：2019，”“gited_by/count”（引用的_by_cont）：1}，”“年“：2018，”“：2014，”cited_by_count“：2}，{“年份”：2013，”cited_by_count，“updated_date”：“2024-09-09T01:56:24.399024”，“创建日期”：“2016-06-24”}