{“id”：“https://openalex.org/W1998778815“，”doi“：”https://doi.org/10.1109/seaa.2011.49“，”title“：“HyDI:离散交互符号混合系统的语言”，“display_name”：“HyDI:离散交互式符号混合系统语言”，”publication_year“：2011，”publiation_date“：”2011-08-01“，”ids“：{”openalex“：”https://openalex.org/W1998778815“，”doi“：”https://doi.org/10.1109/seaa.2011.49“，”mag“：”1998778815“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/seaa.2011.49“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5017426974“，”display_name“：”Alessandro Cimatti“，”orcid“：”https://orcid.org/0000-0002-1315-6990}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alessandro Cimatti“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kessler，意大利“，”institution_ids“：[https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5023894417“，”display_name“：”Sergio Mover“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Sergio Mover“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler，意大利“，”institution_ids“：[https://openalex.org/I2277624104“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5018618502“，”display_name“：”Stefano Tonetta“，”orcid“：”https://orcid.org/0000-0001-9091-7899}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Stefano Tonetta“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler，意大利“，”institution_ids“：[https://openalex.org/I2277624104“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payd“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count，“issue”：空，“first_page”：空last_page“：null｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：1.0，“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”：1.0，“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/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9988，“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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9984，”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/hybrid-systems网站“，”display_name“：”混合系统“，”score“：0.618547}，{”id“：”https://openalex.org/keywords/embedded-systems网站“，”display_name“：”嵌入式系统“，”score“：0.556993｝，｛”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.512441}，{”id“：”https://openalex.org/keywords/system-level-design网站“，”display_name“：”系统级设计“，”score“：0.511869}，{”id“：”https://openalex.org/keywords/tool-integration网站“，”display_name“：”工具集成“，”score“：0.508544｝]，”concepts“：[｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7641793}，{”id“：”https://openalex.org/C151319957，“wikidata”：https://www.wikidata.org/wiki/Q752739“，”display_name“：”异步通信“，”level“：2，”score“：0.7005592}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.6288447}，{”id“：”https://openalex.org/C2778562939，“wikidata”：https://www.wikidata.org/wiki/Q1298791“，”display_name“：”同步（交流）“，”level“：3，”score“：0.613666}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.54378897}，{”id“：”https://openalex.org/C201677973，“wikidata”：https://www.wikidata.org/wiki/Q1209840“，”“display_name”“：”规范语言“，”级别“：2，”分数“：0.5136061}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.5127886}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.51204354}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.49956846｝，｛”id“：”https://openalex.org/C50897621，“wikidata”：https://www.wikidata.org/wiki/Q2665508“，”display_name“：”混合系统“，”level“：2，”score“：0.49349272}，{”id“：”https://openalex.org/C179603123，“wikidata”：https://www.wikidata.org/wiki/Q1941921“，”display_name“：”建模语言“，”level“：3，”score“：0.48684496}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.44001168}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.42734236}，{”id“：”https://openalex.org/C190470478，“wikidata”：https://www.wikidata.org/wiki/Q2370229“，”display_name“：”不变量（物理）“，”level“：2，”score“：0.41603488}，{”id“：”https://openalex.org/C141218545，“wikidata”：https://www.wikidata.org/wiki/Q7521336“，”display_name“：”模拟语言“，”level“：2，”score“：0.41295874}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.32373452}，{”id“：”https://openalex.org/C44154836，“wikidata”：https://www.wikidata.org/wiki/Q45045“，”display_name“：”Simulation“，”level“：1，”score“：0.12881061}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.10947582}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C127162648，“wikidata”：https://www.wikidata.org/wiki/Q16858953“，”display_name“：”频道（广播）“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C37914503，“wikidata”：https://www.wikidata.org/wiki/Q156495“，”display_name“：”数学物理“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/seaa.2011.49“，”pdf_url“：null，”source“：nul，”license“：null:”license_id“：nulse，”version“：null，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nuld，”sustainable_development_goals“：[{”display_name“：”Industry，innovation and infrastructure“，”score“：0.53，”id“：”https://metadata.un.org/sdg/9“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：24，”referrenced_works“：【”https://openalex.org/W1483379332","https://openalex.org/W1489391022","https://openalex.org/W1490609548","https://openalex.org/W1495266209","https://openalex.org/W1501121595","https://openalex.org/W1510368738","https://openalex.org/W1546076553","https://openalex.org/W1787074469","https://openalex.org/W2028025798","https://openalex.org/W2046239089","https://openalex.org/W2086163366","https://openalex.org/W2094530979","https://openalex.org/W2105708535","https://openalex.org/W2121000867","https://openalex.org/W2121909093","https://openalex.org/W2130705439","https://openalex.org/W2139720682","https://openalex.org/W2147340401","https://openalex.org/W2149007581","https://openalex.org/W2152533774","https://openalex.org/W2158395308","https://openalex.org/W2160883697","https://openalex.org/W4300021588","https://openalex.org/W68069235“]，”related_works“：[”https://openalex.org/W3204384228","https://openalex.org/W3204383674","https://openalex.org/W267013729","https://openalex.org/W2385961228","https://openalex.org/W2159503156","https://openalex.org/W2130585794","https://openalex.org/W2124292368","https://openalex.org/W2077164759","https://openalex.org/W2014066180","https://openalex.org/W1608485412“]，”ngrams_url“：”https://api.openalex.org/works/W1998778815/ngrams“，”abstract_inverted_index“：｛”复杂“：[0]，”嵌入式“：[1,45108]，”系统“：[2,2,46,84102109]，”组成“：[3]，”的“：[4,20,9106143]，”软件“：[5]，”和“：[6.28,39,50,64120128146]，”硬件“：[7]，”组件“：[8142]，”该“：[9]，”操作“：[10]，”自主“：[11]，”设备“：[12]，”交互“：[13]，”与“：[14,62,85118]，“the”：[15,24,69,91104113140]，“物理”：[16]，“环境”：[17]，“The”：[18,88123152]，“复杂性”：[19]，“such”：[21]，“makes”：[23]，“design”：[25]，“very”：[2]，“challengesting”：[27]，”requirements“：[29]，”for“：[30,43,81100]，”advanced“：[31]，”validation“：[32]，”technologies。“：[33]，”Hybrid“：34,83]，”automata“：[35]，”are“：[36,58]4]，“a”：[37,57,77144]，“干净”：[38]，“合并”：[40]，“正式”：[41]，“语言”：[42,92116124154]，“建模”：[44,82]，“其中”：[47]，“包括”：[48]，“离散”：[49127]，“连续”：[51,70129]，“动力学”：[52,71]，“它们”：[53]，“基于”：[55]，“on”：[56]，“有限状态”：[58]，“自动机”：[59]，“结构”：[60]，“丰富”：[61]，“不变量”：[63]，“流”：[65]，“条件”：[66]，“to”：[67,94103150]，“model”：[68,98]，“In”：[72]，“this”：[73]，“论文”：[74]，“我们”：[75]，“提议”：[76]，“新”：[78153]，“语言”：[79]，“HYDI”：[80]，“离散”：[86]，“交互”：[87]，“目的”：[89]，“是”：[93155]，“应用”：[95]，“最新”：96]，“符号”：[97115]，“检查程序”：[99]，“无限状态”：[10116]，“验证”：[105]，“复杂”：[107]，“设计”：[110]，“HYDI”：[111]，“延伸”：[112]，“标准”：[114]，“SMV”：[117133]，“定时”：[119]，“同步”：[121]，“方面”：[122]，“区分”：[125]，“在”：[126]，“变量”：[130]，“变量”：[131]，“内部”：[132]，“模块”：[134138]，“进化”：[135]，“同步”：[136]，“顶层”：[137]，“表示”：[139]，“异步”：[141]，“网络”：[145]，“使用”：[147]，“显式”：[148]，“事件”：[149]，“同步”：[151]，“自动”：[156]，“编译”：[157]，“转换为”：[158]，“等效”：[159]，“离散时间”：[160]，“过渡”：[162]，“系统”：[163]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W1998778815“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：1}，{“年”：2022，”“cited_by_cunt”：1'，{”“年”“：2020，”“cited_by-count”“：2}，”“年份”“：2018，”“icted_by/count”“：2012，”cited_by_count“：3}]，“updated_date”：“2024-06-18T11:56:479882”，“创建日期”：“2016-06-24"}