安德鲁·温滕伯格；马修·布利斯克；圣菲拉福顿；内克米耶·奥扎伊 一种基于通用语言的框架，用于指定和验证不透明性的概念。 （英语） Zbl 1492.93118号 离散事件动态。系统。 32，编号2，253-289（2022）.MSC公司：93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Wintenberg}等人，离散事件动态。系统。32，编号2253-289（2022；兹bl 1492.93118） 全文： 内政部 arXiv公司
努尔·埃胡达·苏伊德；凯斯·克莱 一种新的监督合成方法，用于增强离散事件系统的不透明度。 （英语） Zbl 1496.68195号 Gao，Debin（编辑）等人，《信息和通信安全》。第23届国际会议，ICICS 2021，中国重庆，2021年11月19-21日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12919, 210-227 (2021).MSC公司：60年第68季度 68平方米25 68问题85 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{N.E.Souid}和\textit{K.Klai}，莱克特。注释计算。科学。12919，210-227（2021；Zbl 1496.68195） 全文： 内政部
杨景凯；邓伟林；邱道文；姜，程 网络离散事件系统的不透明度。 （英语） Zbl 1475.68044号 信息科学。 543, 328-344 (2021).MSC公司：68平方米25 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Yang}等人，《信息科学》。543、328--344（2021年；Zbl 1475.68044） 全文： 内政部
大卫·G·卡韦扎。；达拉·阿拉杰；安德拉斯·吉尔吉 GR（1）公式的弱点度量。 （英语） Zbl 1458.68115号 正式Asp。计算。 33，编号1，27-63（2021）.MSC公司：60年第68季度 03B44号 28安培80 28天20分 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Cavezza}等人，《形式Asp》。计算。33，编号1，27--63（2021；Zbl 1458.68115） 全文： 内政部
詹弗兰科·兰佩蒂；玛丽娜·扎内拉；赵祥福 深层离散排气系统的诊断。 （英语） Zbl 1497.68314号 J.阿蒂夫。智力。研究（JAIR） 69, 1473-1532 (2020).MSC公司：60年第68季度 65年第68季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{G.Lamperti}等人，J.Artif。智力。研究（JAIR）69，1473-1532（2020；Zbl 1497.68314） 全文： 内政部
加布里埃尔·科斯塔；盖列塔，莱特里奥；皮耶保罗·德加诺；戴维·巴恩斯；奇亚拉博迪 自然投影作为局部模型检查。 （英语） Zbl 1468.68124号 J.汽车。推理 64，第7期，1445-1481（2020）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Costa}等人，J.Autom。推理64，No.7，1445--1481（2020；Zbl 1468.68124） 全文： 内政部
罗德里克·布洛姆；克里希南德·查特吉；芭芭拉·乔布斯曼 图形游戏和反应合成。 （英语） Zbl 1392.68233号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。921-962 (2018).MSC公司：60年第68季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，in：模型检查手册。查姆：斯普林格。921-962（2018；Zbl 1392.68233） 全文： 内政部
斯里尼瓦斯·皮尼塞蒂；普洛塔萨，维奥雷尔；斯塔夫罗斯·特里帕基斯；蒂埃里·杰伦；伊利耶斯·法尔科内；埃尔文·马尔坎德 预测运行时强制。 （英语） Zbl 1370.68207号 形式方法系统。设计。 51，第1期，154-199（2017）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Pinisetty}等人，《形式方法系统》。设计。51，第1号，154--199（2017；Zbl 1370.68207） 全文： 内政部 哈尔
阿诺希拉万·萨布里；Hadjicostis，Christopros N。 离散事件系统安全应用中初始状态不透明度的验证。 （英语） Zbl 1320.68119号 信息科学。 246, 115-132 (2013).MSC公司：60年第68季度 2017年第68季度 65年第68季度 68问题85 93个B07 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{A.Saboori}和\textit{C.N.Hadjicostis}，信息科学。246115--132（2013；Zbl 1320.68119） 全文： 内政部
科恩·克莱森；伊恩，尼古拉斯；希兰，玛丽；尼古拉斯·Sörensson；阿列克谢·沃罗诺夫；克努特·奥凯森 在实践中解决SAT问题，并提供来自监督控制的教程示例。 （英语） Zbl 1180.93065号 离散事件动态。系统。 19，第4期，495-524（2009）.MSC公司：93元65角 93甲13 93立方厘米83 PDF格式BibTeX公司 XML格式引用 \textit{K.Claessen}等人，《离散事件动力学》。系统。19，第4号，495--524（2009；Zbl 1180.93065） 全文： 内政部 链接
Jean-François·佩廷；杰拉德·莫雷尔；埃尔维·帕内托 系统自动化的形式化规范方法。 （英语） Zbl 1293.93087号 欧洲药典控制 12，第2期，115-130（2006）.MSC公司：93A30型 93A10号 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Pétin}et al.，Eur.J.Control 12，No.2，115--130（2006；Zbl 1293.93087） 全文： 内政部 哈尔
苏菲·平奇纳特；里德威格，圣菲 在部分观测下可判定的一类控制问题。 （英语） Zbl 1177.93059号 信息处理。莱特。 95，第4期，454-460（2005）.MSC公司：93元65角 60年第68季度 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{S.Pinchinat}和\textit{S.Riedweg}，Inf.过程。莱特。95，第4号，454--460（2005；Zbl 1177.93059） 全文： 内政部
A.阿诺德。；文森特，A。；Walukiewicz，I。 具有部分观测的控制器合成游戏。 （英语） Zbl 1175.93148号 西奥。计算。科学。 303，第1期，7-34（2003）.MSC公司：93元65角 91A43型 05年3月 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Arnold}等人，Theor。计算。科学。303，编号1，7--34（2003；Zbl 1175.93148） 全文： 内政部
朱利安·贝内特；戴维·杰宁；伊戈尔·瓦卢基维奇 许可策略：从平价游戏到安全游戏。 （英语） Zbl 1090.91514号 西奥。通知。申请。 36，第3期，261-275（2002）.MSC公司：91A50 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bernet}等人，Theor。通知。申请。36，第3号，261--275（2002；Zbl 1090.91514） 全文： 内政部 Numdam编号 欧洲DML 哈尔