马克西姆·科尔迪;萨米人拉兹雷格;迈克,帕帕达基斯;Legay、Axel 变量密集型系统的统计模型检查:应用于缺陷检测和最小化。 (英语) Zbl 1522.68305号 正式Asp。计算。 33,第6期,1147-1172(2021).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Cordy}等人,正式Asp。计算。33,编号6,1147--1172(2021;Zbl 1522.68305) 全文: 内政部
马克西姆·科尔迪;迈克,帕帕达基斯;Legay、Axel 变量密集型系统的统计模型检验。 (英语) Zbl 1507.68181号 Wehrheim,Heike(编辑)等人,《软件工程的基本方法》,第23届国际会议,FASE 2020,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2020,爱尔兰都柏林,2020年4月25日至30日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12076, 294-314 (2020).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Cordy}等人,Lect。票据计算。科学。12076、294--314(2020年;Zbl 1507.68181) 全文: 内政部
乌里·法伦贝格;Legay、Axel;卡琳·夸斯 用定量游戏计算分支距离。 (英语) Zbl 1464.68239号 西奥。计算。科学。 847, 134-146 (2020).MSC公司:68问题85 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Theor。计算。科学。847134-146(2020年;Zbl 1464.68239) 全文: 内政部
尼古拉·贝内什;乌里·法伦贝格;简·Křetínsk;Legay、Axel;路易斯·马里·特劳努埃兹 逻辑规范与行为规范。 (英语) Zbl 1435.68189号 Inf.计算。 271,文章ID 104487,24 p.(2020).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,《信息计算》。271,文章ID 104487,24 p.(2020;Zbl 1435.68189) 全文: 内政部 哈尔
法布里西奥·比昂迪;Legay、Axel;帕斯夸尔马拉卡里亚;安德烈·索夫斯基 量化随机协议的信息泄漏。 (英语) Zbl 1328.68142号 西奥。计算。科学。 597, 62-87 (2015).MSC公司:87年第68季度 68个M12 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{F.Biondi}等人,Theor。计算。科学。597、62-87(2015年;Zbl 1328.68142) 全文: 内政部
乌里·法伦贝格;Legay、Axel 定量线性时间分支时间谱。 (英语) Zbl 1359.68191号 西奥。计算。科学。 538, 54-69 (2014).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay},Theor。计算。科学。538、54-69(2014年;Zbl 1359.68191) 全文: 内政部