{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,3,30]]，“日期时间”：“2022-03-30T08:26:02Z”，“时间戳”：1648628762279}，“引用-计数”：32，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记-限制”：false}，”短容器时间“：[]”，“DOI”：“10.1109 \/cimca.2005.1631319“，”类型“：“议事录文章”，“已创建”：｛“日期部分”：[[2006,5,25]，“日期-时间”：“2006-05-25T20:26:01Z”，“时间戳”：1148588761000｝，“来源”：“交叉引用”，“被计数引用”：3，“标题”：[“模糊控制系统验证的模型检查技术”]，“前缀”：“10.1109”，“作者”：[｛“给定”：“B”，“家族”：“Intragila”，“序列”：“第一”，“附属关系”：[]｝，｛“给定”：“D.”，“家族”：“Magazzeni”，“序列”：“附加”，“附属关系”：[]｝，｛“给定”：“I.”，“家族”：“Melatti”，“序列”：“附加”，“附属关系”：[]｝，｛“给定”：“E.”，“家族”：“Tronci”，“序列”：“附加”，“附属关系”：[]｝]，“成员”：“263”，“参考文献”：[｛“密钥”：“19”，“年份”：“2004”，“期刊标题”：“Murphi网页”｝，｛“键”：“17”，“doi-asserted-by”：“publisher”，“doi”：“10.1007 \/9781-4615-3190-6”}，{“key”：“18”，“doo-asserted-by”：”publisher“，”doi“：”10.1109 \/FUZZY.1993.327413“}，}”key“：”15“，”doi-assert-by“：”publiser“，“doi:”10.1109\/ROBOT.1998.680716“}“journal-title”：“模糊逻辑与智能系统”}，{“key”：“13”，“doi-asserted-by”：“crossref”，“author”：“jin”，“year”：“2003”，“journal-title”：“Advanced Fuzzy Systems Design and Applications”，“DOI”：“10.1007\/978-3-7908-1771-3”}，{“key”：“14”，“作者”：“kosko”，“年份”：“1992”，“日记标题”：“Neural Networks and Fuzzy System”}“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1109\/ICCD.1993.393375”}，{“key”：“21”，“DOI-asserted-by”：“crossref”，“first-pages”：“3”，“DOI:”10.1016\/S0165-0114（99）00168-2“，“article-title”：“使用单元格映射评估控制器鲁棒性”，“volume”：”121“，”author“：”papa“，”year“2001”，“journal-title“：”Fuzzy Sets and Systems“}，”{“密钥”：“20”，“year”：“2004”“，”journal-title“：”NuSMV网页“}，{“key”：“22”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/FUZZY.1995.409917”}，{“密钥”：“23”，“doi-assertd-by”：“publisher”，“DI:”10.1109\/FUZZY-1992.258732：“直流变换器模糊逻辑控制器的开发：设计、计算机模拟和实验评估”，“卷”：“11”，“作者”：“so”，“年份”：“1996”，“日志标题”：“IEEE Trans on Power Electronics”}，{“键”：“26”，“年”：“2004”，“日记标题”：：“10.1007 \/3-540-63166-6_26”，“article-title”：“并行mur？verifier”，“volume”：“1254”，“author”：“stern”，“year”：“1997”，“journal-title“：“计算机科学讲义”}，{“key”：”28“，“doi-asserted-by”：“crossref”，“first page”：《172》，“doi”：“10.1006 \/BFBb0028743”，“article-title”：“在mur？验证器中使用磁盘而不是主内存“”，“卷”：“1427”，“作者”：“stern”，“年份”：“1998”，“期刊标题”：“计算机科学讲义”}，｛“键”：“29”，“doi断言”：“crossref”，“首页”：“206”，“doi”：“10.1007\/3-540-60385-9_13”，“文章标题”：“通过散列压缩改进概率验证”，“作者”：“stern”，“年份”：“1995”，“期刊标题”：“Proc Correct Hardware Design and Verification Methods IFIP WG 10 5 Advanced Research Working Conf CHARME95”}，{“key”：“3”，“year”：“2004”，“journal-title”：“Cached Murphi Web Page”}文章标题“：“形式验证的改进”，“author”：“holzmann”，“year”：“1995”，“journal-title”：“第七届IFIP WG6 1国际会议论文集形式描述技术VII”}，{“key”：“1”，“年份”：“2004”，“日记标题”：“A User Guide to HyTech（高科技用户指南）”}，“article-title”：“混合实时系统”，“volume”：“1201”，“author”：“turk”，“year”：“1997”，“journal-title“：”计算机科学讲义“}，{“key”：”7“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/s100090050008“，”doi-asserted-by“：”crossref“，”首页“：“59”，“DOI”：“10.1007\/3-540-56922-7_6”，“article-title”：“无冲突检测的可靠散列”，“volume”：“697”，“author”：“wolper”，“year”：“1993”，“journal-title“：”计算机科学讲义“}，{“key”：”5“，“DOI-asserted-by”：“crossref”，“first-page”：“141”，”DOI“10.1007 \/3-540.36580-X_13”，“article-titel”：“使用mur？verifier自动验证涡轮燃气控制系统”，“volume”：“2623”，“author”：“della penna”，“year”：“2003”，“journal-title”：“计算机科学课堂讲稿”}，{“key”：”31“，“year:”2004“，”journal-title“：”UPPAAL Web Page被插入“：“publisher”，“DOI”：“10.1023\/A:1008696026254”}，{“key”：“8”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1007\/s100090050034“}]，“event”：{“name”：“建模、控制和自动化计算智能国际会议和智能代理、网络技术和互联网商务国际会议（CIMCA-IAWTIC’06）”，“location”：“Vienna，Austria”}，“container-title”：[“用于建模、控制和自动化的计算智能国际会议和智能代理、Web技术和互联网商务国际会议（CIMCA-IAWTIC’06）”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/10869\/34211\/01631319.pdf？arnumber=1631319”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2020,4,15]]，“date-time”：”2020-04-15T01:30:08Z“，“timestamp”：1586914208000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/ieeexplore.iee.org\/document\/1631319\/”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期部分”：[[null]]}，”引用计数“：32，”URL“：”http://\/dx.doi.org\/10.109\/cimca.2005.1631319“，”关系“：{}，‘主题’：[]}