｛“id”：“https://openalex.org/W4247966168“，”doi“：”https://doi.org/10.1002/stvr.405“，”title“：”real\u2010time systems design验证“，”display_name“：”Verification of real\u2010time systems design“，”publication_year“：2009，”publiation_date“：”2009-04-16“，”ids“：{”openalex“：”https://openalex.org/W4247966168“，”doi“：”https://doi.org/10.1002/svr.405“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1002/stvr.405“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S83624231“，”display_name“：”软件测试验证和可靠性“，”issn_l“：”0960-0833“，”isn“：[”0960-0.833“、”1099-1689“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320595“，”“host_organization_name”：“威利”，“host_organization_lineage”：[“https://openalex.org/P4310320595“]，”host_organization_lineage_names“：[”Wiley“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：false，“oa_status”：“closed”，“oa_url”：nully，“any_repository”_has_fulltext“：false}，”作者“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5053582424“，”display_name“：”M.Emilia Cambronero“，”orcid“：”https://orcid.org/0000-0003-2153-8830}，“机构”：[{“id”：https://openalex.org/I79189158“，”display_name“：”Castilla-La Mancha大学“，”ror“：”https://ror.org/05r78ng12“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I79189158“]｝]，”国家“：[”ES“]，”is_corresponding“：true，”raw_author_name“：”M.Emilia Cambronero“，”raw_affiation_strings“：[”卡斯蒂利亚-拉曼恰大学，高级工程师学院\u0301a Informa\u0301tica de Albacete，Albacete 02071，西班牙“]，”附属机构“：[｛”raw_affiation_string“：”西班牙阿尔巴塞特02071阿尔巴切特高等教育学院Castilla-La Mancha大学“，“institution_ids”：[“https://openalex.org/I79189158“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5025160204“，”display_name“：”Valent\u00edn Valero“，”orcid“：”https://orcid.org/0000-0003-3462-7656}，“机构”：[{“id”：https://openalex.org/I79189158“，”display_name“：”Castilla-La Mancha大学“，”ror“：”https://ror.org/05r78ng12“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I79189158“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Valent\u00edn Valero“，”raw _ afiliation_strings“：[“西班牙阿尔巴切特高等教育学院卡拉曼查分校”西班牙阿尔巴塞特02071阿尔巴切特高等教育学院Castilla-La Mancha大学“，“institution_ids”：[“https://openalex.org/I79189158“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5007021551“，”display_name“：”Gregorio D\u0131\u0301az“，”orcid“：”https://orcid.org/0000-0002-9116-9535}，“机构”：[{“id”：https://openalex.org/I79189158“，”display_name“：”Castilla-La Mancha大学“，”ror“：”https://ror.org/05r78ng12“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I79189158“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Gregorio D\u00edaz“，”raw _ afiliation_strings“：[“西班牙阿尔巴塞特市卡拉曼查卡斯蒂拉大学英格尼埃里高级中学\u0301a Informa \u0301阿尔巴塞蒂学院02071”]，”afiliations“：[{”raw _affiliation_string“：”西班牙阿尔巴塞特02071阿尔巴切特高等教育学院Castilla-La Mancha大学“，“institution_ids”：[“https://openalex.org/I79189158“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5053582424“]，”对应的机构ID“：[”https://openalex.org/I79189158“]，”apc_list“：{”value“：3760，”currency“：”USD“，”value_USD“：3760'，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：0.0，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：6，”cited_by_percentile_year“:{”min“：82，”max“：83}，“biblio”：{“volume”：“20”，“issue”：“1”，“first_page”“：”3“，”last_page“：”37“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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.9999，“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.9992，“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.9983，”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/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.629061}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.583428}，{”id“：”https://openalex.org/keywords/timing-annalysis（https://openalex.org/keywords/timing-annalysis）“，”display_name“：”计时分析“，”score“：0.578082}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.563716}，{”id“：”https://openalex.org/keywords/uml“，”display_name“：”UML“，”score“：0.527453}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8231857}，{”id“：”https://openalex.org/C145644426，“wikidata”：https://www.wikidata.org/wiki/Q169411“，”display_name“：”统一建模语言“，”level“：3，”score“：0.67958623}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.6623854}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.5779274}，{”id“：”https://openalex.org/C41298492，“wikidata”：https://www.wikidata.org/wiki/Q4781506“，”display_name“：”UML应用“，”level“：4，”score“：0.5761044}，{”id“：”https://openalex.org/C153185123，“wikidata”：https://www.wikidata.org/wiki/Q1391624“，”display_name“：”序列图“，”level“：4，”score“：0.55620044}，{”id“：”https://openalex.org/C146939238，“wikidata”：https://www.wikidata.org/wiki/Q2467310“，”display_name“：”UML工具“，”level“：4，”score“：0.4966002}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.46778}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4415244｝，｛”id“：”https://openalex.org/C79403827，“wikidata”：https://www.wikidata.org/wiki/Q3988“，”display_name“：”实时计算“，”level“：1，”score“：0.33238807}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.18579409}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”Software“，”level“：2，”score“：0.093806654}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1002/stvr.405“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S83624231“，”display_name“：”软件测试验证和可靠性“，”issn_l“：”0960-0833“，”isn“：[”0960-0.833“、”1099-1689“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320595“，”host_organization_name“：”Wiley“，”host_organization_lineage“：[”https://openalex.org/P4310320595“]，”host_organization_lineage_names“：[”Wiley“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nully，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：[/]，“versions”：[]]，“referenced_works_count”：8，“referrenced_works”：【”https://openalex.org/W1543690662","https://openalex.org/W1908616852","https://openalex.org/W2000947342","https://openalex.org/W2017739343","https://openalex.org/W2101508170","https://openalex.org/W2538890324","https://openalex.org/W2618896829","https://openalex.org/W4233023000“]，”related_works“：[”https://openalex.org/W4241150048","https://openalex.org/W4230811716","https://openalex.org/W2765803212","https://openalex.org/W2438978016","https://openalex.org/W2406303540网址","https://openalex.org/W2393167022","https://openalex.org/W2171171876","https://openalex.org/W2015215117","https://openalex.org/W1991550997","https://openalex.org/W1601767717“]，”ngrams_url“：”https://api.openalex.org/works/W4247966168/ngrams网站“，”“abstract_inverted_index”：{“abstract”：[0]，“The”：[1,96]，“main”：[2]，“objective”：[3]，“of”：[4,20113130]，“this”：[5,40,88]，“paper”：[6]，“is”：[7,99122]，“to”：[8,12,26108124]，“present”：[9]，“an”：[10]，“approach”：[11]，“complete”：[13]，“verification”：[14,30,62112]，“in”：[15,4112]7101]，“本”：[16,28,48,61,71,84,92114118128]，“早期”：[17]，“设计”：[18,49]，“phases“：[19]，”a“：[21104]，”system“：[22]，”which“：[23121]，”allows“：[24]，“us”：[25]，”make“：[27]，“system”：[29]，“easier”，“：[31]，”specific“：[32]，”for“：[33,59,77]，”these“：[34]，”systems“：[35133]，”with“：[36103]，”timeing“：[37115]，”restrictions。“：[38]，”对于“：[39]，”目的“：[41]，”我们“：[42,52,69,90]，”使用“：[43,70]，”RT\u2010UML“：[44]，”序列“：[45]，”图表“：[46,55]，”阶段“：[50]，”和“：[51,80,82111126]，”翻译“：[53]，”这些“：[54]，”转换“：[56]，”定时“：[57,94136]，”自动机“：[58]，”执行“：[60]，“by”：[63135]，“using”：[64,87]，“model”：[65]，“check”：[66]，“technologies”。“：[67]，”具体来说，“：[68]，”对象“：[72]，”管理“：[73]，”组“：[74]，”UML“：[75]，”配置文件“：[76]，”可调度性“：[78]，”性能“：[79]，”时间“：[81]，”来自“：[83]，”规范“：[85]，”写入“：[86]，”档案“：[89]，”获取“：[91]，”对应“：[93]，”自动机。“：[95137]，”\u2018RT\u2010UML“：[97]，”Profile\u2019“：[98]，”used“：[100123]，”conjunction“：[102]，”very“：[105]，”well\u2010known“：[106]，”tool“：[107]，”performance“：[109]，”validation“：[110]，”needs“：[116]，”即，“：[117]，”UPPAAL“：/119]，”工具，“：%120]，”simulate“：%125]，”analyze“：[127]，”行为“：[129]，”实时\u2010time“：[131]，”动态“：[132]，”描述“：[134]，”版权所有“：[138]，”\u00a9“：[139]，”2009“：[140]，”John“：[141]，”Wiley“：[142]，”&“：[143]，”Sons“：[144]，”Ltd.“：[145]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W4247966168“，”counts_by_year“：[{”年份“：2023，”cited_by_count“：1}，{”年度“：2019，”cited_by_count”：1}.，{“年份”：2017，”citecd_by_count“:2}]，”updated_date“：”2024-07-24T16:05:59.005141“，”created_date:“2022-05-12”}