{“id”：“https://openalex.org/W2110492732“，”doi“：”https://doi.org/10.109/acsd.2011.29“，”title“：“带时钟的安全仪表系统的符号分析建模”，”display_name“：”带时钟安全仪表系统符号分析建模“，”publication_year“：2011，”publiation_date“：”2011-06-01“，”ids“：{”openalex“：”https://openalex.org/W2110492732“，”doi“：”https://doi.org/10.109/acsd.2011.29“，”mag“：”2110492732“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/acsd.2011.29“，”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/A5056829606“，”display_name“：”Roland Kindermann“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I9927081“，”display_name“：”阿尔托大学“，”ror“：”https://ror.org/020hwjq30“，”country_code“：”FI“，”type“：”教育“，”血统“：[”https://openalex.org/I9927081“]}]，”国家“：[”FI“]，”is_corresponding“：false，”raw_author_name“：”Roland Kindermann“，”raw_affiation_strings“：[”[芬兰阿尔托阿尔托大学信息与计算机科学系]“]，”附属机构“：[{”raw_affiation_string“：”[芬兰阿尔托阿尔托大学信息与计算机科学系]“，”institution_ids“：[”https://openalex.org/I9927081“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5037137004“，”display_name“：”Tommi Junttila“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I9927081“，”display_name“：”阿尔托大学“，”ror“：”https://ror.org/020hwjq30“，”country_code“：”FI“，”type“：”教育“，”血统“：[”https://openalex.org/I9927081“]}]，”国家“：[”FI“]，”is_corresponding“：false，”raw_author_name“：”Tommi Junttila“，”raw _affiliation_strings“：[“[芬兰阿尔托阿尔托大学信息与计算机科学系]”]，”affiliations“：[{”raw _affiliation_string“：”[芬兰阿尔托阿尔托阿尔多大学信息与计算科学系]“，”institution_ids“：]”https://openalex.org/I9927081“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5000911721“，”display_name“：”Ilkka Niemel\u00e4“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I9927081“，”display_name“：”阿尔托大学“，”ror“：”https://ror.org/020hwjq30“，”country_code“：”FI“，”type“：”教育“，”血统“：[”https://openalex.org/I9927081“]}]，”国家“：[”FI“]，”is_corresponding“：false，”raw_author_name“：”Ilkka Niemela“，”raw _affiliation_strings“：[“[芬兰阿尔托阿尔托大学信息与计算机科学系]”]，”affiliations“：[{”raw _affiliation_string“：”[芬兰阿尔托阿尔托阿尔多大学信息与计算科学系]“，”institution_ids“：]”https://openalex.org/I9927081“]}]}]，”institution_assertions“：[]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]、“correspending_institution_ids“：[].”apc_list“：null，”apc_payed“：nul，”fwci“：1.828，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count：9，“citation_normalized_percentile”：{“value”：0.8 02518，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：84，”max“：85}，“biblio”：{“volume”：null，“issue”：null:null，”first_page“：nullhttps://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“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.9997，“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/T13295“，”“display_name”：“复杂系统开发中的安全保证”，“score”：0.9966，“subfield”：{“id”：“https://openalex.org/subfields/2213“，”display_name“：”安全、风险、可靠性和质量“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9961，”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/symbolic-trajector-evaluation“，”“display_name”“：”符号轨迹评估“，”分数“：0.7147507}，{”id“：”https://openalex.org/keywords/formalism网站“，”display_name“：”形式主义（音乐）“，”score“：0.5844623}，{”id“：”https://openalex.org/keywords/binary-decision-diagram网站“，”display_name“：”二进制决策图“，”score“：0.5498606}，{”id“：”https://openalex.org/keywords/transition-system网站“，”display_name“：”过渡系统“，”score“：0.54322606}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.543002}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.521205}，{”id“：”https://openalex.org/keywords/abstraction网站“，”display_name“：”抽象“，”分数“：0.52045774}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.516148}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.506908}，{”id“：”https://openalex.org/keywords/abstraction-model-checking“，”display_name“：”抽象模型检查“，”score“：0.4292497}]，”concepts“：[{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.800248}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7346828}，{”id“：”https://openalex.org/C23123167，“wikidata”：https://www.wikidata.org/wiki/Q7661193“，”“display_name”“：”符号轨迹评估“，”级别“：3，”分数“：0.7147507}，{”id“：”https://openalex.org/C73301696，“wikidata”：https://www.wikidata.org/wiki/Q5469984“，”display_name“：”形式主义（音乐）“，”level“：3，”score“：0.5844623}，{”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.57545054}，{”id“：”https://openalex.org/C3309909，“wikidata”：https://www.wikidata.org/wiki/Q864155“，”display_name“：”二进制决策图“，”level“：2，”score“：0.5498606}，{”id“：”https://openalex.org/C2779167558，“wikidata”：https://www.wikidata.org/wiki/Q176468“，”display_name“：”过渡系统“，”level“：2，”score“：0.54322606}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”级别“：2，”分数“：0.52045774}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”正式验证“，”级别“：2，”分数“：0.5026183}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.47266993}，{”id“：”https://openalex.org/C2779639559，“wikidata”：https://www.wikidata.org/wiki/Q7661178“，”display_name“：”符号执行“，”level“：3，”score“：0.43077022｝，｛”id“：”https://openalex.org/C30888246，“wikidata”：https://www.wikidata.org/wiki/Q4669969“，”display_name“：”抽象模型检查“，”level“：3，”score“：0.4292497}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.42675805}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.10286158}，{”id“：”https://openalex.org/C142362112，“wikidata”：https://www.wikidata.org/wiki/Q735“，”display_name“：”Art“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C558565934，“wikidata”：https://www.wikidata.org/wiki/Q2743“，”display_name“：”Musical“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C153349607，“wikidata”：https://www.wikidata.org/wiki/Q36649“，”display_name“：”Visual arts“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/acsd.2011.29“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：19，“referrenced_works”：[”https://openalex.org/W1481397690","https://openalex.org/W1489391022","https://openalex.org/W1515483846","https://openalex.org/W1551070491","https://openalex.org/W1571054242","https://openalex.org/W1717955622","https://openalex.org/W1787074469","https://openalex.org/W1962072139","https://openalex.org/W1981808971","https://openalex.org/W1989746243","https://openalex.org/W1990183105","https://openalex.org/W2101508170","https://openalex.org/W2125967324","https://openalex.org/W2143760481","https://openalex.org/W2340735175","https://openalex.org/W2596980523","https://openalex.org/W2735907240","https://openalex.org/W2913459036","https://openalex.org/W2916441570“]，”related_works“：[”https://openalex.org/W4232769648","https://openalex.org/W3141167149","https://openalex.org/W2365988016","https://openalex.org/W2156717832","https://openalex.org/W2129943654","https://openalex.org/W2101264565","https://openalex.org/W2078988604","https://openalex.org/W1587799550","https://openalex.org/W1583869287","https://openalex.org/W1531074653“]，”abstract_inverted_index“：{“安全”：[0]，”instrumented“：[1]，”systems“：[2,53,70]，”（SIS）“：[3]，”monitor“：[4]，”industrial“：[5]，”process“：[6]，”and“：[7,19,35,42,81]，”automatically“：[8]，”react“：[9]，”on“：[10,66]，”danger“：[11]，”situations.“：[12]，”SIS“：[13,39]，”commery“：[14]，“组成”：[15]，“的”：[16,38,49,63]，“两者”：[17]，“逻辑”：[18]，“时间相关“：[20,44]，”构建“：[21]，”块。“：[22]，”此“：[23]，”论文“：[24]，”介绍“：[25]，”符号“：[26,50,67]，”定时“：[27,51,68]，”过渡“：[28,52,69]，”系统“：[29]，”a“：[30]，”形式主义“：[31]，”设计“：[32]，”for“：[33]，”简洁“：[34]，”模块“：[36]，”描述“：[37]，”with“：[40]，”时钟“：[41]，”类似“：[43]，“系统。“：[45]，”此外，“：[46]，”an“：[47,55]，”implementation“：[48]，”as“：[54]，”extension“：[56]，”to“：[57]，”NuSMV“：[58]，”is“：[59]，”designed。“：[60]，“两个”：[61]，“方式”：[62]，“检查”：[64,76]，“属性”：[65]，“是”：[71,88]，“开发：”：[72]，“完成”：[73]，“基于区域抽象”：[74]，“模型”：[75,84]，“使用”：[77]，“二进制”：[78]，“决策”：[79]，“图表”：[80]，“SMT-based”：[82]，“有界”：[83]，“检测”。“：[85]，”两者“：[86]，”接近“：[87]，”评估“：[89]，”实验性。“：[90]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2110492732“，”counts_by_year“：[{”年份“：2024，”cited_by_count“：1}，{”年“：2023，”ciped_by_cunt“：1'，{“年份”：2022，”cited_bycount“:1}，”年度“：2017，”citesd_by_count”：1}，{年“：2013，”citecd_by-count“:2}，“年份”2012，”citted_by/count“:3}]，”更新日期“：”2024-09-26T23:38:39.403265“，”创建日期“：”2016-06-24“}