{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,12,30]]，“日期时间”：“2022-12-30T18:34:50Z”，“时间戳”：1672425290903}，“引用计数”：35，“发布者”：“IEEE”，“内容域”：{:“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print“：{”日期部分“：[[2010]]}，”DOI“：“10.1109\/icdcs.2010.80”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2010,8,10]]，“date-time”：“2010-08-10T15:51:41Z”，“timestamp”：128145550100}，“source”：”Crossref“，“is-referenced-by-count”：1，“title”：[“弱多容限的复杂性分析”]，“prefix”：“10.109”，“author”：[{“给定”：“Jingshu”，“family”：“Chen”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Sandeep”，“family”：“Kulkarni”，“sequence”：“additional”，“affaliation”:[]}]，“member”：“263”，“reference”：[{“key”：”ref33“，”first page“：”37“，”article-title“：”无线传感器网络中的梯度时钟同步“，”author“：”sommer“，”year“：”2009“，”journal-title：“在IPSN'09《2009年传感器网络信息处理国际会议论文集》中”}，{“key”：“ref32”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1540358.1540368”}键“：”参考35“，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/FTCS.1998.689473”}，{“key”：“ref34”，“doi-asserted-by”：”publisher“，”doi“：”10.1109\/TPDS.2005.122：“10.1007\/978-3-540-45187-7_9”}，{“key”：“ref12”，“article-title”：“粘合代码生成：弥补基于模型开发中的漏洞”，“作者”：“deniz”，“年份”：“2004年”，“期刊标题”：“第十届IEEE实时和嵌入式技术与应用研讨会（RTAS 2004）模型驱动嵌入式系统研讨会”}，{“关键”：“参考13”，“首页”：“571”，“文章标题”：“外部规范的时间控制合成”，“author”：“d’souza”，“year”：“2002”，“journal-title”：“在STACS’02第19届计算机科学理论方面年度研讨会论文集”}，{“key”：“ref14”，“doi-asserted-by”：“publisher”，”doi“：”10.1109\/TPDS.2004.1264786：“10.1109\/LICS.2002.1029826”}，{“key”：“ref16”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3149.214121”}：“在RTSS’05第26届IEEE国际实时系统研讨会论文集”}，{“key”：“ref18”，“doi-asserted-by”：“publisher”，“doi”：“10.1023\/A:1008135313919”}25“}，{”key“：”ref4“，”首页“：“469”，“article-title”：“时间自动机的控制器合成”，“author”：“asarin”，“year”：“1998”，“journal-title“：“IFAC Symp-System Structure Control”}，{“key”：“ref27”，“doi-asserted-by”：“crossref”，“first-page”：“11”，“doi”：“10.1109\/TDSC.2004.2”，“article-title”：“可靠和安全计算的基本概念和分类”，“volume”：：“lapri”，“year”：“2004”，“journal-title”：“IEEE Transactions on Dependable and Secure Computing”}，{“key”：“ref3”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/3-540-48983-5_6“}，”{“key”：”ref6“，”doi-assert-by“：”publisher首页“：”656“，”doi“：”10.1109\/TSE.2004.68“，“article-title”：“Vertaf：嵌入式实时软件设计和验证的应用框架”，“volume”：“30”，“author”：“lin”，“year”：“2004”，“journal-title“：”IEEE软件工程学报“}，{“key”：”ref5“，”doi-asserted-by“：”publisher“，”doi“：”10.1145 \/963778.963782“}：“10.1007\/978-3-540-45069-6_18”，“article-title”：“部分可观测的时间控制”，“volume”：“2725”，“author”：“bouyer”，“year”：“2003”，“journal-title“：”计算机科学讲义“}，{“key”：”ref7“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-540-85361-9_16“}”，{”key“ref2”，“doi-assert-by”：“publisher”，“doi”：“10.1109\/32.256850”}，{“key”：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1629575.1629598”}，{“key”：”ref1“，”doi-assert-by“：”publisher“，”doi“：”10.1016\/0020-0190（85）90056-0“}，”{“key”：“ref20”，“doi-asserted-by”:“publishers”，“DI:”10.1177\/1094342009106190“kulkarni”，“year”：“1999”，“journal-title”：“基于组件的容错设计”}，{“key”：“ref21”，“doi-asserted-by”：“crossref”，“首页”：“226”，“doi”：“10.1007\/11513988_23”，“article-title”：“作为游戏的程序修复”，“author”：“jobstmann”，“year”：“2005”，“journal-title“：”计算机辅助验证（CAV'98）“}，{”key“：”ref24“，”doi-assert-by“：”publisher“，”doi“：”10.1142\/9781277864_0003“}，{“key”：“ref23”，“doi-asserted-by”：“crossref”，“first page”：“82”，“DOI”：“10.1007\/3-540-45352-0_9”，“article-title”：“自动添加容错”，“author”：“kulkarni”，“year”：“2000”，“journal-title“：“第三届实时和容错系统形式技术国际研讨会论文集”}，{“key”：”ref26“，”DOI-asserted-by“：”publisher“，”DOI“：“10.1109\/DSN.2004.1311891”}，{“key”：“ref25”，“doi-asserted-by”：“publisher”，“doi”：“10.109\/ICDCS.2002.102271”}]，“event”：{“name”：“2010 IEEE第三十届分布式计算系统国际会议”，“location”：“Genoa，Italy”，“start”：{“date-parts”：[[2010,6,21]]}，“end”：{-“date-ports”：[2010,2,25]]}}，”container-title“：[“2010 IEEE第30届分布式计算系统国际会议”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx5\/5541617\/55441620\/05541667.pdf？arnumber=5541667”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2017,6,19]]，“date-time”：“2017-06-19T12:22:35Z”，“timestamp”：1497874955000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/ieeexplore.iee.org\/document\/5541667\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2010]]}，‘references-count’：35，”URL“http://\/dx.doi.org\/10.1109\/icdcs.2010.80“，”关系“：{}，”主题“：[]，”发布“：{”日期部分“:[[2010]]}}}