{“id”：“https://openalex.org/W1528551039“，”doi“：”https://doi.org/10.1007/3-540-44798-9_29“，”title“：”片上系统中独立时钟域异步包装器的基于精化的形式验证“，”display_name“：”片上系统中独立时钟域异步包装器的基于精化的形式验证“，”publication_year“：2001，”publication_date“：”2001-01-01“，”ids“：｛”openalex“：”https://openalex.org/W1528551039“，”doi“：”https://doi.org/10.1007/3-540-44798-9_29“，”mag“：”1528551039“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-44798-9_29，“pdf_url”：https://link.springer.com/content/pdf/10.1007/3-540-44798-9_29.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/3-540-44798-9_29.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5055310909“，”display_name“：”孔晓华“，”orcid“：null}，”机构“：[{”id“：”https://openalex.org/I5023651“，”display_name“：”麦吉尔大学“，”ror“：”https://ror.org/01pxwe438“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I5023651“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”Xiaohua Kong“，”raw _affiliation_strings“：[“加拿大蒙特利尔麦吉尔大学ECE微电子与计算机系统实验室部”]，”affiliations“：”加拿大蒙特利尔麦吉尔大学ECE微电子与计算机系统实验室系”，“institution_ids”：[“https://openalex.org/I5023651“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5048089245“，”display_name“：”R.Negulescu“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I5023651“，”display_name“：”麦吉尔大学“，”ror“：”网址：https://ror.org/01pxwe438“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I5023651“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”Radu Negulescu“，”raw _ afiliation_strings“：[“加拿大蒙特利尔麦吉尔大学ECE微电子与计算机系统实验室部”]，”affiliations“：[{”raw _affiliation_string“：”加拿大蒙特利尔麦吉尔大学ECE微电子与计算机系统实验室系”，“institution_ids”：[“https://openalex.org/I5023651“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5006698597“，”display_name“：”Larry Weidong Ying“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I5023651“，”display_name“：”麦吉尔大学“，”ror“：”https://ror.org/01pxwe438“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I5023651“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”Larry Weidong Ying“，”raw _ affiliation_strings“：[“加拿大蒙特利尔麦吉尔大学ECE微电子与计算机系统实验室部”]，”affiliation“：[{”raw _affiliation_string“：”加拿大蒙特利尔麦吉尔大学欧洲经委会微电子与计算机系统实验室”，“机构ID”：[https://openalex.org/I5023651“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：0.785，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_b y_count“：6，”cited_by_percentile_year“：{”min“：77，”max“：79｝，”biblio“：｛”volume“：null，”issue“：null，”first_page“：”370“，”last_page“：”385“｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9997，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”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/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9997，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”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.9996，“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/T10933“，”“display_name”：“嵌入式系统中的实时调度”，“score”：0.999，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”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/timing-analysis网站“，”display_name“：”计时分析“，”score“：0.575915}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.534888}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.524955}，{”id“：”https://openalex.org/keywords/reconfigurable-computing网站“，”display_name“：”可重构计算“，”score“：0.518833}，{”id“：”https://openalex.org/keywords/hard-real-time系统“，”display_name“：”硬实时系统“，”score“：0.513165}]，”concepts“：[{”id“：”https://openalex.org/C151319957，“wikidata”：https://www.wikidata.org/wiki/Q752739“，”display_name“：”异步通信“，”level“：2，”score“：0.9150962}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.89278865}，{”id“：”https://openalex.org/C2776175482，“wikidata”：https://www.wikidata.org/wiki/Q1195816“，”display_name“：”Transfer（computing）“，”level“：2，”score“：0.48211122｝，｛”id“：”https://openalex.org/C16505293，“wikidata”：https://www.wikidata.org/wiki/Q1074500“，”display_name“：”Chip“，”level“：2，”score“：0.46813023}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.42537817}，{”id“：”https://openalex.org/C557945733，“wikidata”：https://www.wikidata.org/wiki/Q389772“，”display_name“：”数据传输“，”level“：2，”score“：0.42047063}，{”id“：”https://openalex.org/C118524514，“wikidata”：https://www.wikidata.org/wiki/Q173212“，”display_name“：”计算机体系结构“，”level“：1，”score“：0.38652238}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3705172}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.3582542}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.28005224}，{”id“：”https://openalex.org/C9390403，“wikidata”：https://www.wikidata.org/wiki/Q3966“，”display_name“：”计算机硬件“，”level“：1，”score“：0.2164138}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”级别“：1，”分数“：0.12163088｝，｛”id“：”https://openalex.org/C76155785，“wikidata”：https://www.wikidata.org/wiki/Q418“，”display_name“：”Telecommunications“，”level“：1，”score“：0.1008915}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-44798-9_29，“pdf_url”：https://link.springer.com/content/pdf/10.1007/3-540-44798-9_29.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“：”系列丛书“｝，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-44798-9_29，“pdf_url”：https://link.springer.com/content/pdf/10.1007/3-540-44798-9_29.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“：[]，”grants“：[%]，”datasets“：[/]，”versions“：[]]，”referenced_works_count“：13，”https://openalex.org/W119570465","https://openalex.org/W1491037212","https://openalex.org/W1494451878","https://openalex.org/W1943426535","https://openalex.org/W2058948603","https://openalex.org/W2096172098","https://openalex.org/W2110121542","https://openalex.org/W2116312614","https://openalex.org/W2117897741","https://openalex.org/W2124925956","https://openalex.org/W2148428788","https://openalex.org/W4214502634","https://openalex.org/W4248688512“]，”related_works“：[”https://openalex.org/W2998706884","https://openalex.org/W2391359489","https://openalex.org/W2390100812","https://openalex.org/W2370550542","https://openalex.org/W2370124876","https://openalex.org/W2232108453","https://openalex.org/W2218233845","https://openalex.org/W2049188538","https://openalex.org/W1897440242","https://openalex.org/W10042887“]，”ngrams_url“：”https://api.openalex.org/works/W1528551039/ngrams网站“，”“abstract_inverted_index”：{“In”：[0,59]，“this”：[1,60]，“paper”：[2]，“we”：[3,39,63,81]，“propose”：[4]，“a”：[5,36,48]，“novel”：[3]，“refinement-based”：[7]，“technology”：[8,42]，“to”：[9,25,43]，“formal”：[10]，“verify”：[11,44]，“data”：[12,20,27,45]，“transfer”：[13,21,46]，“In”：[14,47,76]，“an”：[15]，“异步”：[16,54]，“定时”：[17]，“框架”：[18]，“Novel“：[19]，”models“：[22]，”are“：[23]，”proposed“：[24]，”representation“：[26]，”communication“：[2]，”between“：[29]，“two”：[30]，”local“：[31,55]，”independent“：[32]，”clock“：[33]，”domains。“：[34]，”As“：[35]，”case“：[37,61]，”study“：[38,62]，”apply“：[40]，”our“：%41]，”previous“：[49]，”published“：[50]，”architecture“：[51]，”for“：[52]，”global“：[53]，”synchronic“：[56]，”on-chip“：[57]，”systems。“：[58]，”查找“：[64,82]，”多个“：[65]，”种族“：[66]，”条件“：[67]，”危害“：[68]，”和“：[69,80]，”其他“：[70]，”危险“：[71]，”that“：[72,86]，”were“：[73]，”not“：[74]，”提及“：[75]，”the“：[77,90]，”original“：[78]，”publication，“：[79]，”additional“：+83]，”delay“：[84]，“约束”：[85]，“避免”：[87]，“一些”：[88]，“of”：[89]，“检测到”：[91]，“危险。“：[92]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1528551039“，”counts_by_year“：[]，”updated_date“：”2024-07-11T04:32:56.022899“，”创建日期“：”2016-06-24“}