{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,10,27]]，“日期时间”：“2023-10-27T13:30:02Z”，“时间戳”：1698413402113}，“引用计数”：33，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布发布者”：{“日期部分”：[[2009,7]]}，“DOI”：“10.1109\/memcod.2009.5185388”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2009,8,11]]，“date-time”：“2009-08-11T19:09:22Z”，“timestamp”：1250017762000}，“source”：《Crossref》，“is-referenced-by-count”：6，“title”：[“可靠系统的代码符号：基于组件的建模语言”]，“前缀”：“101109”，“作者”：[{“给定”：“Marco”，“家庭”：“Bozzano”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Alessandro”，“family”：“Cimatti”，“序列”：“additional”，“从属关系”：[]}“越洋”，“家族”：“阮”，“序列”：“additional”，“affiliation”：[]}，{“given”：“Thomas”，“family”：“Noll”，“sequence”：“addressive”，“filiation“：[]2]，“member”：“263”，“reference”：[{“key”：”19“，“doi-asserted-by”：”publisher“，”doi“：”10.1109\/TSE.2003.1205180“}，”{“密钥”：“17”，“首页”：“821”，“article-title”：“硬件需求的形式分析”，“author”：“pill”“，”年份“：”2006“，”新闻标题“：“设计自动化”}，{“key”：“18”，“article-title”：“指南针方法：航空航天系统的正确性、建模和性能”，“author”：“bozzano”，“year”：“2009”，“journal-title“：”第28届计算机安全可靠性和安全国际会议（SAFECOMP）“}，”{“密钥”：“33”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/DSN.2008.4630122”}，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s100090050046”}，{“key”：“16”，“doo-asserted-by”：”publisher“，”doi“：”10.1109\/QEST.2005.2“}，”{“key”：”13“，”doi-assert-by“：”crossref“，“doi:”10.1007\/3-540-45804-2“，”volume“：”2428“，”author“：”hermanns“，”year“：”2002“，”journal-title“：”交互式马尔可夫链量化质量的探索“}，{“关键”：“14”，“首页”：“250”，“文章标题”：“概率过程的概率模拟”，“卷”：“2”，“作者”：“segala”，“年份”：“1995”，“期刊标题”：“Nordic journal of Computing”｝，｛“key”：“11”，“年份”：“0”，“期刊标题”：“COMPASS Project Web Site”｝，｛“key”：“12”，“doi asserted by”：“publisher”，“doi”：“10.1109\/LICS.1996-561342”｝，｛“key”：“21”，“doi断言者”：“publisher”，“doi”：“10.1145\/1368088.1368094”｝，｛“key”：“20”，“doi断言者”：“publisher”，“doi”：“10.1145\/302405.32672”｝，｛“key”：“22”，“doi断言者”：“publisher”，“doi”：“10.1109\/DSN.2007.37”｝，｛“key”：“23”，“首页”：“363”，“文章标题”：“通过符号模型检查对可诊断性进行正式验证”，“作者”：“cim atti”，“年”：“2003”，“期刊标题”：“国际人工智能联合会议（IJCAI 2003）”}，{“键”：“24”，“年“：“0”，“杂志标题”：《统一建模语言》}，}“键“：“25”，“首页”：“295”，“文章标题”：”基于组件的系统建模和验证方法“，“卷”：“4362”，“作者”：“go？\ufffdler”，“年份”：“2007”，“journal-title”：“第三十三届计算机科学理论与实践趋势大会（SOFSEM）”}，{“key”：“26”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.entcs.2004.04.028”}卷“：”2034“，”作者“：“lynch”，“year”：“2001”，“journal-title”：“第四届混合系统计算与控制国际研讨会（HSCC 2001）”}，{“key”：“28”，“first-page:”39“，”article-title“：”将aadl转换为bip-实时系统验证应用程序“，”author“：”chkouri“，”year“：”2008“，”journal-title“”：“第1届嵌入式系统基于模型的架构和构建国际研讨会”}，{“key”：“29”，“first page”：：“167”，“article-title”：“statemate的组合性能评估”，“author”：“bo？de”，“year”：“2006”，“journal-title“：“Quantitative evaluation of Systems（QEST）”}：“10.1017\/S0960129504004153”}，{“key”：“2”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/503209.503226”}，{“key”：“30”，“首页”：“1718”，“文章标题”：“reo连接器电路的概率模型”，“卷”：“11”，“作者”：“baier”，“年份”：“2005”，“日志标题”：“通用计算机科学杂志”}，{“key”：“7”，“article-title”：“架构分析与设计语言（aadl）v2”，“年”：“2008”，“journal-title“：”国际汽车工程师学会SAE标准草案AS5506 v2“}，”{“密钥”：“6”，“文章标题”：“体系结构分析和设计语言（aadl）”，“年份”：“2004年”，“新闻标题”：“国际汽车工程师学会SAE标准AS5506”}，{“key”：“32”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/MEMCOD.2007.371231”}、{“key”：”5“，”doi-assert-by“：”publisher“，”doi“：”10.1109\/CSD.2003.1207706“出版商”，“DOI”：“10.1109\/QEST.2007.18”}，{“key”：“4”，“DOI-asserted-by”：“publisher”，“DOI:”10.1016\/j.scico.2004.05.014“}”，{”key“：”9“，”DOI-assert-by“：”crossref“，”first-page“：”5“，”DOI“：”10.1007\/s10009-006-0001-2“，”article-title“：”fsap\/nusmv-sa安全分析平台“，”volume“：“9”，“作者：“bozzano”，“年份”：“2007”，“新闻标题”：《国际技术转让软件工具杂志》，｛“key”：“8”，“文章标题”：“架构分析和设计语言附件（aadl），第1卷，附件e：错误模型附件”，“year”：“2006”，“期刊标题”：“International Society of Automotive Engineers SAE Standard AS5506\/1”｝]，“event”：｛“name”：“2009年第七届IEEE \/ACM协同设计形式方法和模型国际会议（MEMOCODE）”，“地点”：“美国马萨诸塞州剑桥”，“开始”：{“date-parts”：[[2009,7,13]]}，“结束”：{“date-parts”：[[2009,7,15]}}，”container-title“：[”2009年第7届IEEE \/ACM联合设计形式方法与模型国际会议“]，”原始标题“：[]，”链接“：[{”URL“：“http://\/xplorestaging.ieee.org\/ielx5\/5173407\/5185370\/05185388.pdf？arnumber=5185388”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,6,18]]，“date-time”：”2017-06-18T22:43:27Z“，“timestamp”：1497825807000}，“score”：1，“资源”：{“主资源”：}“URL”：“http://\/ieeexplore.iee.org\/document\/5185388\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2009,7]]}，”引用计数“：33，”URL“：”http://\/dx.doi.org\/10.109\/memcod.2009.5185388“，”关系“：{}”，“主题”：[]]，“发布”：}“日期–部件”：[2009,7]}}}