埃蒂安·安德烈;青柠,迪迪埃;马蒂亚斯·拉普拉森;玛丽·斯托琳加 攻击故障树的参数分析。 (英语) Zbl 1491.68034号 芬丹。通知。 182,第1号,69-94(2021).MSC公司:68平方米25 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,Fundam。通知。182,编号1,69-94(2021;Zbl 1491.68034) 全文: 内政部 arXiv公司
杰里米·斯普洛斯顿 具有时钟相关概率的概率时间自动机。 (英语) Zbl 1478.68136号 芬丹。通知。 178,编号1-2,101-138(2021).MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},芬丹。通知。178,编号1--2,101-138(2021;Zbl 1478.68136) 全文: 内政部 arXiv公司
克里斯托夫·哈斯;约尔·瓦克宁;詹姆斯·沃雷尔 将时间自动机和计数器自动机中的可达性问题联系起来。 (英语) Zbl 1357.68106号 芬丹。通知。 143,编号3-4,317-338(2016).MSC公司:第68季度第45季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Haase}等人,Fundam。通知。143,编号3--4,317--338(2016;Zbl 1357.68106) 全文: 内政部
阿克西,S。;洛依茨海露;克洛德·贾德;皮埃尔·阿莱·雷尼尔 守卫扩张下时间Petri网的鲁棒性。 (英语) Zbl 1357.68132号 芬丹。通知。 143,编号3-4,207-234(2016).MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,Fundam。通知。143,编号3--4,207--234(2016;Zbl 1357.68132) 全文: 内政部
克洛德·贾德;青柠,迪迪埃;奥利维尔·H·鲁克斯。 将定时形式模型与时钟转换系统相结合。 (英语) Zbl 1408.68102号 芬丹。通知。 129,编号1-2,85-100(2014).MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Jard}等人,Fundam。通知。129,编号1--2,85-100(2014;Zbl 1408.68102) 全文: 内政部
沃纳·什尼亚克,波ẓ埃纳;安德烈·兹布雷泽兹尼 存在模型检查问题从MITL转换为HLTL。 (英语) Zbl 1283.68217号 芬丹。通知。 122,第4期,401-420(2013). 审核人:维克托·舒潘(法国) MSC公司:60年第68季度 03B44号 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Woźna-Szcze shi niak}和\textit{A.Zbrzezny},Fundam。通知。122,第4号,401-420(2013;Zbl 1283.68217) 全文: 内政部
罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 定时P自动机。 (英语) Zbl 1191.68375号 芬丹。通知。 94,第1期,第1-19页(2009年).MSC公司:第68季度第45季度 2010年第68季度 92D40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,Fundam。通知。94,第1号,1--19(2009;Zbl 1191.68375) 全文: 内政部
米罗斯·库考斯基;沃伊切赫,彭泽克 基于时间自动机的时间安全协议模型检查。 (英语) Zbl 1189.68075号 芬丹。通知。 93,编号1-3,245-259(2009).MSC公司:60年第68季度 68第25页 第68季度第45季度 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kurkowski}和\textit{W.Penczek},Fundam。通知。93,编号1--3,245--259(2009;Zbl 1189.68075)
帕特里夏·鲍耶;谢尔盖,哈达德;皮埃尔·阿莱·雷尼尔 具有静默转换的时间自动机的不确定性结果。 (英语) Zbl 1176.68099号 芬丹。通知。 92,第1-2、1-25号(2009年).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Fundam。通知。92,编号1--2,1--25(2009;Zbl 1176.68099) 全文: 内政部
哈尼法·布切内布;Hind Rakkay先生 一种更有效的时间Petri网状态空间抽象,有助于对定时线性属性进行模型检查。 (英语) Zbl 1167.68039号 芬丹。通知。 88,第4期,469-495(2008).MSC公司:68问题85 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Boucheneb}和\textit{H.Rakkay},Fundam。通知。88,第4号,469--495(2008;Zbl 1167.68039)
安德烈·兹布雷泽兹尼;沃纳、博埃纳 在VerICS中验证Java程序。 (英语) Zbl 1167.68383号 芬丹。通知。 85,编号1-4,533-548(2008).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Zbrzezny}和\textit{B.Woźna},Fundam。通知。85,编号1--4,533--548(2008;Zbl 1167.68383)
Damas P.格鲁斯卡。;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 长期运行事务模型中的安全性。 (英语) 兹比尔1160.68467 芬丹。通知。 85,编号1-4189-203(2008).MSC公司:68问题85 第68季度第45季度 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Gruska}等人,Fundam。通知。85,编号1--4,189-203(2008;Zbl 1160.68467)
阿纳尔多·莫拉。;Guilherme A.平托。 时间自动机的类和普遍性的不可判定性。 (英语) Zbl 1148.03029号 芬丹。通知。 82,编号1-2,171-184(2008). 审核人:丹尼尔拉·马林内斯库(布拉索夫) MSC公司:05年3月 03天35分 03天55 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Moura}和\textit{G.A.Pinto},Fundam。通知。82,编号1--2,171-184(2008;Zbl 1148.03029)
阿加塔·雅诺夫斯卡;Pawe Janowskił 离散数据的时间自动机切片。 (英语) Zbl 1097.68061号 芬丹。通知。 72,编号1-3,181-195(2006).MSC公司:第68季度第45季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Janowska}和\textit{P.Janowski},Fundam。通知。72,编号1--3,181--195(2006;Zbl 1097.68061)
安德烈·兹布雷泽兹尼 基于SAT的对角约束时间自动机可达性检验。 (英语) Zbl 1096.68087号 芬丹。通知。 67,编号1-3,303-322(2005).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Zbrzezny},Fundam(芬丹)。通知。67,编号1--3,303--322(2005;Zbl 1096.68087)
阿加塔·贾诺夫斯卡;Pawe Janowskił 切片定时系统。 (英语) Zbl 1083.68070号 芬丹。通知。 60,编号1-4187-210(2004).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Janowska}和\textit{P.Janowski},Fundam。通知。60,编号1--4,187-210(2004;Zbl 1083.68070) 全文: 链接
彼得·德米因斯基;沃伊切赫,彭泽克;阿加塔·波罗拉 基于相似性的时间自动机验证。 (英语) Zbl 1003.68102号 芬丹。通知。 51,编号1-2,59-89(2002).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Dembian ski}等人,Fundam。通知。51,编号1--2,59-89(2002;Zbl 1003.68102)
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼;阿德里亚诺·佩隆 时间合作自动机的转换。 (英语) Zbl 1004.68088号 芬丹。通知。 47,编号3-4,271-282(2001).MSC公司:第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,Fundam。通知。47,编号3--4,271--282(2001;Zbl 1004.68088)
罗伯托·巴布蒂;De Francesco,尼科莱塔;卢卡·特塞 具有非瞬时动作的时间自动机。 (英语) Zbl 1004.68087号 芬丹。通知。 47,第3-4号,189-200(2001).MSC公司:第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,Fundam。通知。47,编号3--4,189-200(2001;Zbl 1004.68087)
帕德马纳巴恩·克里希南 分解定时下推自动机。 (英语) Zbl 0976.68100号 芬丹。通知。 45,第3期,215-229(2001).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Krishnan},芬丹。通知。45,第3号,215--229(2001;Zbl 0976.68100)
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 定时协作自动机。 (英语) Zbl 0965.68046号 芬丹。通知。 43,编号1-4153-173(2000).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,Fundam。通知。43,编号1--4,153-173(2000;Zbl 0965.68046)