{“id”：“https://openalex.org/W1802370758“，”doi“：”https://doi.org/10.1007/978-3-540-77966-7_8“，”title“：”通过Counter Automata验证参数化硬件设计“，”display_name“：”使用Counter Automata验证硬件参数化设计“，“publication_year”：2008，“publiation_date”：“2008-02-01”，“ids”：{“openalex”：“https://openalex.org/W1802370758“，”doi“：”https://doi.org/10.1007/978-3-540-77966-7_8“，”mag“：”1802370758“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-77966-7_8“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，“indexed_in”：[”crossref“]，空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5006588826“，”display_name“：”Ale\u0161 Smr\u010dka“，”orcid“：”https://orcid.org/0000-0002-3638-6916}，“机构”：[{“id”：https://openalex.org/I60587646“，”display_name“：”布尔诺理工大学“，”ror“：”https://ror.org/03613d656“，”country_code“：”CZ“，”type“：“教育”，”世系“：[”https://openalex.org/I60587646“]}]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Ales Smr\u010dka“，”raw _ afiliation_strings“：[“FIT，Brno Technol Univ.，Brno，Czech Republic”]，”affiliations“：[{”raw _affiliation_string“：”FIT，Brino Univ.of Technol，Brno and，Czec Republicon“，”institution_ids“：]”https://openalex.org/I60587646“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5086446392“，”display_name“：”Tom\u00e1\u0161 Vojnar“，”orcid“：”https://orcid.org/0000-0002-2746-8792}，“机构”：[{“id”：https://openalex.org/I60587646“，”display_name“：”布尔诺理工大学“，”ror“：”https://ror.org/03613d656“，”country_code“：”CZ“，”type“：“教育”，”世系“：[”https://openalex.org/I60587646“]}]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Tom\u00e1s Vojnar“，”raw _ afiliation_strings“：[“FIT，Brno Technol Univ.，Brno，Czech Republic”]，“affiliations”：[{“raw_affiliation_string”：“FIT、Brno Univ.of Technol.，Brno，Czec Republicon”，“institution_ids”：[”https://openalex.org/I60587646“]}]}]，”institution_assertions“：[]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]、”correspounding_institution_ids“：[]，”apc_list“：null，”apc _payed“：nul，”fwci“：0.0，”has_fulltext“：false，”cited_by_count：20，”citation_normalized_percentile“：{”value“：0.855143，”is_in_top_1_percent“：假，“is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：88，”max“：89}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：“51”，“last_page”：“68”}，《is_retracted》：false，“is_paratext”：false、“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9977，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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.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/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.542683｝，｛”id“：”https://openalex.org/keywords/automated-testing网站“，”display_name“：”自动测试“，”score“：0.518981}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.515881}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.514077}]，”concepts“：[{”id“：”https://openalex.org/C36941000，“wikidata”：https://www.wikidata.org/wiki/Q209455“，”display_name“：”VHDL“，”level“：3，”score“：0.7981534}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7531493}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.6860179}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”正式验证“，”level“：2，”score“：0.5238435｝，｛”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.4643709｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4489757}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.4180107}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3661058}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.35792974}，{”id“：”https://openalex.org/C9390403，“wikidata”：https://www.wikidata.org/wiki/Q3966“，”display_name“：”计算机硬件“，”level“：1，”score“：0.34934413}，{”id“：”https://openalex.org/C42935608，“wikidata”：https://www.wikidata.org/wiki/Q190411“，”display_name“：”现场可编程门阵列“，”level“：2，”score“：0.27013808}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-77966-7_8“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“电子书平台”}，“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”：18，“referrenced_works”：〔”https://openalex.org/W1506323687","https://openalex.org/W1532358383","https://openalex.org/W1553663883","https://openalex.org/W1553913027","https://openalex.org/W1596552075","https://openalex.org/W1814719004","https://openalex.org/W1974583144","https://openalex.org/W1997268799","https://openalex.org/W2012140001","https://openalex.org/W2112350720","https://openalex.org/W2136877520","https://openalex.org/W2143923161","https://openalex.org/W2168302004","https://openalex.org/W2487992810","https://openalex.org/W2505974374","https://openalex.org/W2561675875","https://openalex.org/W34675824","https://openalex.org/W4246084264“]，”related_works“：[”https://openalex.org/W4243191745","https://openalex.org/W2724597727","https://openalex.org/W2508541108","https://openalex.org/W2391435730","https://openalex.org/W2384030275","https://openalex.org/W2381282135","https://openalex.org/W2315419748","https://openalex.org/W1480528870","https://openalex.org/W146887057","https://openalex.org/W127357700“]，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W1802370758”，“counts_by_year”：[｛“year”：2020，“cited_by_count”：2｝，｛“year”：2018，“cited_by_count”：1｝，｛“year”：2017，“cited_by_count”：2｝，｛“year”：2016，“cited_by_count”：2｝，｛“year”：2015，“cited_by_count”：1｝，｛“year”：2014，“cited_by_count”：2｝，｛“year”：2013，“cited_by_count”：2｝，｛“year”：2012，“cited_by_count unt“：8｝]，”updated_date“：”2024-09-14T09:02:22.880387“，”created_date“：”2016-06-24"}