佛罗伦萨伊帕特;伊奥努·尼古列斯库;拉卢卡左翼;萨瓦斯·科努尔;玛丽安·盖奥吉 一种基于模型学习的内核P系统测试方法。 (英语) Zbl 1512.68095号 西奥。计算。科学。 965,文章ID 113975,14 p.(2023).MSC公司:2007年第68季度 第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}等人,Theor。计算。科学。965,文章ID 113975,14 p.(2023;Zbl 1512.68095) 全文: 内政部
玛丽安·盖奥吉;拉卢卡左翼;萨瓦斯·科努尔;伊奥努·米海·尼古列斯库;亨利·N·阿多纳。 尖峰神经P系统:矩阵表示和形式验证。 (英语) Zbl 1469.68035号 J.成员。计算。 3,第2期,133-148(2021).MSC公司:2007年第68季度 第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghe}等人,J.Membr。计算。3,编号2,133--148(2021;Zbl 1469.68035) 全文: 内政部
玛丽安·盖奥吉;罗迪卡·塞特基;佛罗伦萨伊帕特;萨瓦斯·科努尔;拉卢卡左翼 核心P系统:从建模到验证和测试。 (英语) Zbl 1390.68309号 西奥。计算。科学。 724, 45-60 (2018).MSC公司:2005年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghe}等人,Theor。计算。科学。724,45-60(2018;Zbl 1390.68309) 全文: 内政部 链接
佛罗伦萨伊帕特;拉卢卡左翼;克里斯蒂娜·图多斯 使用Spin对P系统进行正式验证。 (英语) Zbl 1213.68273号 发现的国际期刊。计算。科学。 22,第1期,133-142(2011).MSC公司:2010年第68季度 2005年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}等人,国际期刊发现。计算。科学。22,第1号,133--142(2011;Zbl 1213.68273) 全文: 内政部
佛罗伦萨伊帕特;玛丽安·盖奥吉;拉卢卡左翼 使用模型检查从P系统生成测试。 (英语) Zbl 1208.68146号 J.日志。代数。程序。 79,第6号,350-362(2010).MSC公司:第68季度第60季度 2010年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}等人,J.Log。代数。程序。79,第6号,350-362(2010;Zbl 1208.68146) 全文: 内政部