{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T10:55:36Z”，“时间戳”：1648983336290}，“引用计数”：17，“发布者”：“IEEE Compute.Soc.Press”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，“内政部”：“10.1109\/eurmic.1996.546368”，“type”：“procesdings-article”，“created”：{“date-parts”：[2002,12,24]]，“date-time”：“2002-12-24T01:16:22Z”，“timestamp”：1040692582000}，“source”：”Crossref“，”is-referenced-by-count“：0，“title”：[“实时嵌入式系统的形式化设计与实现方法”]，“prefix”：“10.1108”，“author”：[{“给定”：“S.”，“family”：“Bradley”，“sequence”：“first”，“affiliation”：[]}，{“given”：“W.”，“family”：“Henderson”，“serquence”:“additional”，“abfiliation“：[]{”given“：”D.“，”family“：”Kendall“，”sequence“：”additional“，”affiliance“：[]}，“givent”：“A.”，“家族”：“Robson”，“，”sequence“：”additional“，”affiliation“：[]}]，“member”：“263”，“reference”：[{“key”：“ref10”，“author”：“hoare”，“year”：“1985”，“journal-title”：“Communicating Sequential Processes”}，{“密钥”：“ref11”，“年份”：“1989”，“日记标题”：“信息处理系统-开放系统互连-LOTOS-一种基于可观测行为时间顺序的形式化描述技术”}，“author”：“jones”，“year”：“1987”，“journal-title”：“Occam编程”}，{“key”：“ref13”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/MC.1993.274940”}：“使用AORTA验证、验证和实施定时协议”，“author”：“bradley”，“year”：“1995”，“journal-title”：“第十五届协议规范测试和验证国际研讨会”}，{“key”：“ref16”，“author”:“hawkes”，“年份”：“1994”，“日记标题”：“PWM电机控制器-功能规范”}，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/12.88463”}，{“key”：“ref4”，“doo-asserted-by”：”publisher“，”doi“：”10.1016\/0141-9331（94）90074-4“}，”{“key”：”ref3“，”doi-assert-by“：”crossref“，“首页”：“201”，“doi”：”10.1049\/sej.1994.0026“，”article-title“：”面向应用的实时代数“，“卷”：“9”，“作者”：“布拉德利”，“年份”：“1994”，“journal-title”：“Software Engineering journal”}，{“key”：“ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1049\/cce:19940103”}“}，{“key”：“ref7”，“doi-asserted-by”：“publisher”，“doi”：“10.1049\/cce:19940509”}，{“密钥”：“ref2”，“年份”：“1992”，“日志标题”：“CAN规范”}007\/BFb0039069“}]，”事件“：{”名称“：”EUROMICRO 96。第22届欧洲微观会议。《2000年以后：硬件和软件设计策略》，“位置”：“捷克共和国布拉格”，“缩写词”：“EURMIC-96”}，“容器-标签”：[“EUROMICRO 96会议记录。第22届欧洲微观会议。Beyond 2000:Hardware and Software Design Strategies“]，”原标题“：[]，”链接“：[｛”URL“：”http:\/\/exploresting.ieee.org/ielx3\/3987\/11477\/00546368.pdf？arnumber=5546368“，”内容类型“：”未指定“，”内容版本“：”vor“，”预期应用程序“：”相似性检查“｝]，”存放“：｛”日期部分“：[[2017,6,15]，”日期时间“：”2017-06-15T16:35:56Z“，”timestamp“：1497544556000｝，”score“：1，”resource“：｛”primary“：｛”URL“：”http:\/\/ieexplore.ieee.org/document\/5546368\/“｝｝，”副标题“：[]，”短标题“：[]，”已发布“：｛”日期部分“：[[null]]｝，”引用次数“：17，”URL“：”http:\/\/dx.doi.org/10.1109\/eurmic.1996.546368“，”关系“：｛｝，”主题“：[]｝｝