{“id”：“https://openalex.org/W155695461“，”doi“：”https://doi.org/10.1007/978-3-642-32943-2_15“，”title“：”基于环境建模的OSEK/VDX操作系统设计模型的模型检查“，”display_name“：”根据环境建模对OSEK/WDX操作系统设计模式的模型检查”，“publication_year”：2012，“publiation_date”：“2012-01-01”，“ids”：{“openalex”：“”https://openalex.org/W155695461“，”doi“：”https://doi.org/10.1007/978-3642-32943-2_15“，”mag“：”155695461“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3642-32943-2_15“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5064868512“，”display_name“：”Kenro Yatake“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I177738480“，”display_name“：”日本高级科学技术学院“，”ror“：”https://ror.org/03frj4r98“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I177738480“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Kenro Yatake“，”raw_affiliation_strings“：[“日本石川野弥高级科学技术研究院（日本）”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5068781921“，”display_name“：”Toshiaki Aoki“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I177738480“，”display_name“：”日本高级科学技术学院“，”ror“：”网址：https://ror.org/03frj4r98“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I177738480“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Toshiaki Aoki“，”raw_affiliation_strings“：[“日本高级科学技术研究院，Nomi，Ishikawa（日本）”]}]“，”countries_distict_count“：1，”institutions_disticent_count“：l，”corresponding_author_ids“：[]，”correcponding_institution_ids”：[]“apc_list”：{“value”：5000，“货币“：”EUR“，”value_usd“：5392，”出处“：”doaj“}，”apc_payed“：{”value“：5000，”货币“：“EUR”，”value_ usd“:5392，“出处”：“doaj”}，“has_fulltext”：false，“cited_by_count”：6，“citecd_by_percentile_year”：{“min”：84，“max”：85}，《图书》：{《卷》：null，“issue”：null”，“first_page”：“183”，“last_page”：“197”}，“is_retracted”：假，“is_paratext”：假主主题“：{”id“：”https://openalex.org/T10904“，”“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/T10904“，”“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/T10933“，”“display_name”：“嵌入式系统中的实时调度”，“score”：0.9989，“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.9976，“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/keywords/model-checking（https://openalex.org/keywords/model-checking）“，”display_name“：”模型检查“，”score“：0.604113}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.63156325}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.59519297}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.5709258}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.46073267}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.25761643}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3642-32943-2_15“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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”：null，“is_accepted”：false，“is_published”：false}，”best_oa_location“：null”，“sustainable_development_goals”：[{“display_name”：“Life on land”，“score”：0.41，“id”：“https://metadata.un.org/sdg/15“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：9，”referrenced_works“：【”https://openalex.org/W1537208786","https://openalex.org/W1916915881","https://openalex.org/W1974909600","https://openalex.org/W2040836231","https://openalex.org/W2050323872","https://openalex.org/W2102315361","https://openalex.org/W2119284483","https://openalex.org/W2132919479","https://openalex.org/W2140990342“]，”related_works“：[”https://openalex.org/W4391913857","https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2478288626","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2001405890“]，”ngrams_url“：”https://api.openalex.org/works/W155695461/ngrams网站“，”abstract_inverted_index“：{”This“：[0,42]，”paper“：[1]，”presents“：[2]，”a“：[3,7,11,26,45]，”模型检查“：[4,36]，”实验“：[5115]，”for“：[6,35,85101]，”design“：[8,77]，”model“：[9,47,78]，”of“：[10,48,66,79,96105113]，”实用“：[12]，”实时“：[13]，”操作“：[14]，”system“：[15]，”（RTOS）“：[16]，”基于“：[17]，”在“：[18]，”环境“：[19,30,53,99]，”建模。“：[20]，”In“：[21,89]，”previous“：[22]，”work“，”we“：/24,70,92]，”developed“：[25]，”tool“：[27,43,73]，”called“：428,51]，”the“：[29,52,64,67,72,76,83,94,98106111]，”generator“：[31]，”to“：[32,74]，”generate“：[33]，”environments“：[34,62]，”通用“：[37,46]，”RTRTT OS“：[38,84]，”型号“：[39100]，”输入“：[40]，”旋转。“：[41]，”takes“：[44]，”environments“，：[50]，”model“，”：[54]，“as”：[55]，“an”：[56,80114]，“input”：[57]，“and”：[58]，“generates”：[59]，“all”：[60]，“possible”：[61]，“within”：[63]，“bounds”：[65]，“model。“：[68]，”这里，“：[69]，”应用“：[71]，”验证“：[75]，”OSEK/VDX“：[81]，”操作系统“：[82]，”控制“：[86]，”汽车“：[87]，”系统。“：[88]，”此“：[90]，”论文“：[91]，”解释“：[93]，”细节“：[95]，”构造“：[97]，”验证“：[102]，”各种“：[103]，”方面“：[104]，”RTOS。“：[107]，”我们“：[108]，”也“：[109]，”显示“：[110]，”结果“：[112]，”使用“：[116]，”our“：[117]，”工具。“：[118]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W155695461“，”counts_by_year“：[{“年份”：2019，”cited_by_count“：2}，{“年度”：2017，”ciped_by_cunt“：1}，”{“年”：2016，“cited_by_count”：1}，“年份”:2015，”cited_by_count？：2}]，“updated_date”：“2024-05-31T08:32.716724”，“创建日期”：“2016-06-24”}