{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,7]]，“日期时间”：“2024-09-07T08:02:48Z”，“时间戳”：1725696168296}，“引用计数”：20，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布-打印“：{”日期部分“：[[2009,7]]}，”DOI“：“10.1109\/memcod.2009.5185377”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2009,8,11]]，“date-time”：“2009-08-11T19:09:22Z”，“timestamp”：1250017762000}，“page”：”46-55“，“source”：：“Crossref”，“is-referenced-by-count”：32，“title”：[“使用LOTOS和CADP验证工业SystemC\/TLM模型”]，“前缀”：”10.1109“，“volume”：“4”，“作者”：[{“given”：“Hubert”，“family”：“Garavel”，“sequence”：“first”，“affiliation”：[]}[]}]，“成员”：“263”，“引用”：[{“期刊标题”：“STMicroelectronics-SPG”，“年份”：“2004”，“密钥”：“19”}，{“密钥”：“17”，“doi断言者”：“publisher”，“doi”：“10.1016\/0169-7552（87）90085-7”}，{“密钥”：“18”，“doi断言者”：“publisher”，“doi”：“10.1007\/978-3-642-69962-7”}，{“期刊标题”：“MEMOCODE'08中两种用于形式验证的SystemC/TLM语义的比较”，“年份”：“2008年”，“author“：”helmstetter“，”key“：”15“}，”{“journal-title”：“Gene？ve International Standard 8807”，”article-title“：”lotos-一种基于观察行为时间顺序的形式描述技术“，”year“：”1989“，”key“：“16”}，{“key”：“13”，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/s10617-006-9044-6“}”publisher“，”DOI“：”10.1007\/978-3-540-73370-6_14“}，{”key“：”11“，”first page“：“285”，”article-title“：”用通信状态机形式化tlm“，”author“：”niemann“，“year”：“2006”，”journal-title”：“FDL'06”}，}“key”：“12”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1109\/MEMCOD.2005.1487900”}，“DOI-asserted-by”：“publisher”，“DOI”：“10.1007\/978-3-540-68237-0_20“}，{“key”：“20”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/778-3-540.68237-0_12”}，}“journal-title”：“使用SystemC TLM概念和嵌入式系统应用程序进行事务级建模”，“year”：“2005”，“key“：”2“}首页“：”4167“，”文章标题“：”checksyc：rtl systemc设计的高效属性检查器“，”volume“：”4“，”author“：”gro\uffde“，”year“：”2005“，”journal-title“：”ISCAS“}，{“key”：“7”，”first page“：“356”，“article-title”：“使用模型检查的systemc竞争分析”，“author”：“blanc”，“year”：“2008”，“journal-title”“：”ICCAD 2008“}”，{”key“”：“6”，”doi-asserted-by“：”publisher“，“内政部”：“10.1145\/1391469.1391706“}，{“键”：“5”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/FMCAD.2006.10”}，}“键“：”4“，”doi-assert-by“：”publisher“，”doi“：”10.1007\/978-3-540-73368-3_18 title“：”FMICS'06“，”article-title“：“松散时间注释的测试覆盖率”，“年份：“2006”，“作者”：“helmstetter”，“key”：“8”}]，“事件”：{“name”：“2009年第七届IEEE\/ACM国际协同设计形式方法和模型会议（MEMOCODE）”，“开始”：{“日期部分”：[[2009,7,13]]}，“位置”：“美国马萨诸塞州剑桥”，“结束”：{'date-parts'：[2009,7,15]]}}，”container-title“：[”2009年IEEE \/ACM第七届联合设计形式方法和模型国际会议“]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx5\/5173407\/5185370\/05185377.pdf？arnumber=5185377”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{date-parts“：[[2017,3,18]]，“date-time”：“2017-03-18T04:33:06Z”，“timestamp”：1489811586000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/ieeexplore.iee.org\/document\/5185377\/”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2009,7]]}”，“references-count”：20，“URL”：“http://\/dx.doi.org\/10.109\/memcod.2009.5185377”，“关系”：{}，“主题“：[]，”已发布“：{“日期部分”：[[2009,7]]}}