{“id”：“https://openalex.org/W2127233769“，”doi“：”https://doi.org/10.1109/icpads.2000.857686“，”title“：”基于Estele的概率部分定时协议验证系统“，”display_name“：”一个基于Estelle的概率部分计时协议验证系统”，“publication_year”：2002，“publitation_date”：“2002-11-07”，“ids”：{“openalex”：“https://openalex.org/W2127233769“，”doi“：”https://doi.org/10.1109/icpads.2000.857686“，”mag“：”2127233769“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/icpads.2000.857686“，”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/A5053937531“，”display_name“：”Chung-Ming Huang“，”orcid“：”https://orcid.org/0000-0001-8927-4072}，“机构”：[{“id”：https://openalex.org/I91807558“，”display_name“：”国立成工大学“，”ror“：”https://ror.org/01b8kcc49“，”country_code“：”TW“，”type“：“教育”，”世系“：[”https://openalex.org/I91807558“]}]，”countries“：[”TW“]，”is_corresponding“：false，”raw_author_name“：”None Chung-Ming Huang“，”raw _ afiliation_strings“：【”台湾台南国立成工大学计算机科学与信息工程系“】，”affiliations“：”台湾台南国立成工大学计算机科学与信息工程系“，“institution_ids”：[“https://openalex.org/I91807558“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5027086964“，”display_name“：”Jui\u2010Ming Hsu“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I126145234“，”display_name“：”朝阳工业大学“，”ror“：”https://ror.org/04xwksx09“，”country_code“：”TW“，”type“：“教育”，”世系“：[”https://openalex.org/I126145234“]}]，”国家“：[”TW“]，”is_corresponding“：false，”raw_author_name“：”None Jenq-Muh Hsu“，”raw _affiliation_strings“：[“台湾台中朝阳科技大学信息管理系”]，”affiliations“：[{”raw _affiliation_string“：”台湾台中潮阳理工大学信息管理学院“，”机构ID“：[”https://openalex.org/I126145234“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]“apc_list”：null，”apc_payed“：null”，“fwci”：0.649，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：3，“ciped_by_percentile_year”：{“min”：72，“max”：74}，“biblio_year”“：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”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/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9989，“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/T11741“，”“display_name”：“可重构制造系统的设计与操作”，“score”：0.9916，“subfield”：{“id”：“https://openalex.org/subfields/2209“，”display_name“：”工业和制造工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.561232}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.531078}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.52893}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.522217}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8480288}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.8003781}，{”id“：”https://openalex.org/C2780385302，“wikidata”：https://www.wikidata.org/wiki/Q367158“，”display_name“：”Protocol（science）“，”level“：3，”score“：0.7028277｝，｛”id“：”https://openalex.org/C72434380，“wikidata”：https://www.wikidata.org/wiki/Q230930网址“，”display_name“：”State space“，”level“：2，”score“：0.562211｝，｛”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.5303579}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.48777348}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.4753575}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.4673344}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.46514523}，{”id“：”https://openalex.org/C77618280，“wikidata”：https://www.wikidata.org/wiki/Q1155772“，”display_name“：”Scheme（mathematics）“，”level“：2，”score“：0.46432036}，{”id“：”https://openalex.org/C12269588，“wikidata”：https://www.wikidata.org/wiki/Q132364“，”display_name“：”通信协议“，”level“：2，”score“：0.45653588}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.41990253}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.23759425}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.19823828}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.10811725}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0831815}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C204787440，“wikidata”：https://www.wikidata.org/wiki/Q188504“，”display_name“：”替代医学“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C142724271，“wikidata”：https://www.wikidata.org/wiki/Q7208“，”display_name“：”Pathology“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/icpads.2000.857686“，”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”：8，“referrenced_works”：[”https://openalex.org/W1546325561","https://openalex.org/W195204218","https://openalex.org/W2010339903","https://openalex.org/W2033772621","https://openalex.org/W2054409309","https://openalex.org/W2060882299","https://openalex.org/W2127233769","https://openalex.org/W4255875934“]，”related_works“：[”https://openalex.org/W4312733571","https://openalex.org/W2804745155","https://openalex.org/W2736259393","https://openalex.org/W2529542719","https://openalex.org/W2149716943","https://openalex.org/W2136312285","https://openalex.org/W2037121848","https://openalex.org/W2006962382","https://openalex.org/W1572578464","https://openalex.org/W113732979“]，”ngrams_url“：”https://api.openalex.org/works/W2127233769/ngrams“，”“abstract_inverted_index”：{“完成”：[0]，“验证”：[1,22,73,99108]，“的”：[2,60,82,89]，“通信”：[3]，“协议”：[4,53]，“是”：[5,76111114]，“通常”：[6]，“非常”：[7]，“困难”：[8]，“到”：[9,12,27,41,50128]，“实现”：[10]，“到期”：[11]，“the”：[13,42,65,79]，“组合”：[14]，“状态”：[15]，“空间”：[16]，“爆炸”：[17]，“问题。”：[18,30]，“概率：[19]，“基于”：[20,77103134]，“部分”：[21,96]，“提供”：[23]，“an”：[24101]，“替代”：[25]，“解决方案”：[26]，“求解”：[28]，“此”：[29121]，“我们”：[31]，“采用”：[32]，“a”：[33,70]，“定时”：[34106]，“通信”：[35,44]，“状态”：[36,46]，“机器”：[37,47]，“（TCS M），“：[38]，”其中“：[39110]，”属于“：[40]，”扩展“：[43]，”有限“：[45]，”（ECFSM）“：[48]，”model，“：[49,67]，”formally“：[51]，”specification“：[52]，”that“：[54,75]，”incorporate“：[55]，”timed“：[56,72,97]，”properties“：[57]，”as“：[58]，”part“：[59]，”their“：[61]，”规范。“：[62]，”基于“：[63]，”关于“：[64,78116]，”TCSM“：[66]，”我们“：[68]，”提议“：[69]，”概率“：[71,95]，”方案“：[74]，”发生“：[80,87]，”速率“：[81]，”通信“：[83]，”实体“：[84,91]，”转换“：[85]，”和“：[86130]，”可能性“：[88]，”信道“：[90]，”过渡。“：[92]，”使用“：[93]，”我们的“：[94]，”协议“：[98123135]，”方案“：[100]，”Estelle“：[102133]，”概率“：[104]，”部分“：[105]，”议定书“：[107]，”系统“：[109]，”调用“：[112]，”PTPVS“：[113]，”开发“：[115]，”SUN“：[117]，”SPARC“：[118]，”工作站。“：[119]，“In”：[120]，“way”，：[122]，“designers”：[124]，“can”：[125]，“use”：[126]，“PTPVS”：[127]，“design”：[129]，“partial”：[131]，“verify”：[132]，“specifications”：[136]，“with”：:137]，“time”：%138]，“properties”。“：[139]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2127233769“，”counts_by_year“：[{”年“：2014，”cited_by_count“：1}]，”更新日期“：”2024-06-20T21:08:14.960523“，”创建日期“：“2016-06-24”}