{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,3,15]]，“日期-时间”：“2024-03-15T13:03:39Z”，“时间戳”：1710507819649}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：3，“出版商”：“ACM”，“内容-域”：{:“域”：[“dl.ACM.org”]，“交叉标记限制“：true}，”short-container-title“：[]，“published-print”：{“date-parts”：[[2009,8,24]]}，“DOI”：“10.1145\/1595696.1595744”，“type”：“proceedings-article”，“created”：{“date-ports”：[[2009,8，24]]，“date-time”：“2009-08-24T14:08:35Z”，“timestamp”：1251122915000}，《update-policy》：“http://\/dx.DOI.org\/10.1145\/crossmark-policy”，“source”“：”Crossref“，”is-referenced-by-count“：9，”title“：[“aadl模型的验证和性能评估”]，“前缀”：“10.1145”，“作者”：[{“given”：“Marco”，“family”：“Bozzano”，“sequence”：“first”，“affiliation”：[}“name”：“Fondazione Bruno Kessler，Trento，Germany”}]}，{“给定”：“Alessandro”，“家族”：“Cimatti”，“序列”：“additional”，“filiation“[{”name“：”Fondazione Bruno Kassler，Ternto，Germine”}]}、，{“给定”：“马尔科”，“家族”：“罗维里”，“序列”：“附加”，“附属”：[{“姓名”：“布鲁诺·凯斯勒基金会，特伦托，德国”}]}，{“给定”：“乔斯特·皮特”，“家族”：“卡托恩”，“序列”：“附加”，“附属”：[{“姓名”：“亚琛大学，亚琛，德国”}]}，{“给定”：“越南日元”，“家族”：“阮”，“序列”：“附加”，“附属”：[{“姓名”：“德国亚琛亚琛大学”}]}，{“given”：“Thomas”，“family”：“Noll”，“sequence”：“additional”，“affiliation”：[{“name”：“亚琛德国大学”}]}]，“member”：“320”，“published-online”：{“date-parts”：[[2009,8,24]]}、“reference”：[}“key”：”e_1_3_2_1_1_1_1“，”非结构化“：“COMPASS项目的网站：http://\/compans.informatik.rwth-aachen.de\/COMPASS项目网站：http://\\/companc.informatik.rwth-achen.de\/”}，{“key”：“e_1_3_2_1_2_1”，“volume-title”：“可靠系统的代码设计：第七届MEMOCODE中基于组件的建模语言”，“author”：“Bozzano M.”，《年份》：“2009年”，“非结构化”：“M.Bozzano，A。Cimatti，M.Roveri，J.-P.Katoen，V.Y.Nguyen，T.Noll，《可靠系统的协同设计：第七届MEMOCODE中基于组件的建模语言》。IEEE计算机学会，2009年。M.Bozzano，A.Cimatti，M.Roveri，J.-P.Katoen，V.Y.Nguyen，T.Noll，《可靠系统的协同设计：第七届MEMOCODE中基于组件的建模语言》。IEEE Computer Society，2009.“}，{”key“：”e_1_3_2_1_3_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-04468-7_15”}]，“event”：{”name“：”ESEC\/FSE09:“Joint 12th European Software Engineering Conference”，“location”：“Amsterdam The Netherlands”，“缩写词：”ESEC \/FSE09“，”赞助商“：[”ACM Association for Computing Machinery“，”SIGSOFT ACM软件工程特别兴趣小组“]}，“container-title”：[“欧洲软件工程会议第七次联席会议和ACM SIGSOFT软件工程基础研讨会会议记录”]，“原始标题”：[]，“链接”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/1595696.1595744”，“content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}”，“deposed”：{“date-parts”：[[2023,9,14]]，“date-time”：“2023-09-14T14:09:47Z”，“timestamp”：1694700587000}，“score”：1，“resource”：{primary“：{”URL“https:\/\/dl.acm.org\/doi\/10.1145\/1595696.1595744”}}，”subtitle“：[]，“短标题”：[]，”已发布“：{”date-parts“：[[2009,8,24]]}，”references-count“：3，”alternative-id“：[”10.1145\/1595696.1595744“，”10.1145\/1595696“]，”URL“：”http://\/dx.doi.org\/10.1145\/159595696.1095744“，”relationship“：{}，“subject”：[]，“published”：{“date-part”：[[2009,8，24]]]}，《断言》：[{“value”：“2009-08-24”，“order”：2，“name”：“published”，“label”：“published”，“group”：{“name”publication_history“，”label“：”出版物历史“}}]}}