休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库 使用CADP对异步并发系统进行组合验证。 (英语) Zbl 1410.68250号 学报信息。 52,No.4-5,337-392(2015).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人,《学报》第52期,第4--5337--392号(2015年;Zbl 1410.68250) 全文: 内政部
拉杜·马特埃斯库;安东·威伊斯 弱τ碰撞的连续和分布式实时计算。 (英语) Zbl 1243.68219号 科学。计算。程序。 77,编号10-11,1075-1094(2012).MSC公司:68问题85 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}和\textit{A.Wijs},科学。计算。程序。77,No.10--111075--1094(2012;Zbl 1243.68219) 全文: 内政部 哈尔
拉杜·马特埃斯库;佩德罗·蒙泰罗。;埃斯特尔·杜马斯;德容、希德 CTRL:CTL的扩展,带有正则表达式和公平操作符,用于验证遗传调控网络。 (英语) Zbl 1231.68163号 西奥。计算。科学。 412,第26号,2854-2883(2011). 审核人:马丁·兰格(卡塞尔) MSC公司:60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{R.Mateescu}等人,Theor。计算。科学。412,第26号,2854--2883(2011;Zbl 1231.68163) 全文: 内政部 链接
休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库;温德林·塞维 CADP 2010:用于构建和分析分布式过程的工具箱。 (英语) Zbl 1316.68074号 Abdulla,Parosh Aziz(编辑)等人,《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议(TACAS 2011),是欧洲软件理论与实践联合会议(ETAPS 2011)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19834-2/pbk)。计算机科学讲座笔记6605372-387(2011)。MSC公司:60年第68季度 68-04 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人,Lect。注释计算。科学。6605372--387(2011年;Zbl 1316.68074) 全文: 内政部
拉杜·马特埃斯库;佩德罗·蒙泰罗。;埃斯特尔·杜马斯;德容、希德 遗传调控网络的计算树规则逻辑。 (英语) Zbl 1183.68380号 Cha,Sungdeok(Steve)(编辑)等人,《验证和分析自动化技术》。2008年10月20日至23日,第六届国际研讨会,ATVA 2008,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-88386-9/pbk)。计算机科学课堂讲稿5311,48-63(2008)。MSC公司:60年第68季度 03B44号 03B45号 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}等人,Lect。注释计算。科学。5311,48-63(2008年;兹比尔1183.68380) 全文: 内政部 链接