佛罗伦萨伊帕特;伊奥努·尼古列斯库;莱夫蒂卡鲁,拉鲁卡;萨瓦斯·科努尔;盖奥尔吉,玛丽安 一种基于模型学习的内核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页(2023;Zbl 1512.68095) 全文: 内政部
佛罗伦萨伊帕特;盖奥尔吉,玛丽安;莱夫蒂卡鲁,拉鲁卡 从查询中学习确定性扩展有限状态机的基本结果。 (英文) Zbl 1497.68234号 西奥。计算。科学。 862, 160-173 (2021).MSC公司:68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}等人,Theor。计算。科学。862160-173(2021年;兹比尔1497.68234) 全文: 内政部
阿娜·乌雷;盖奥尔吉,玛丽安;佛罗伦萨伊帕特;萨瓦斯·科努尔 膜计算中基于搜索的测试。 (英文) Zbl 1469.68054号 J.成员。计算。 1,第4号,241-250(2019).MSC公司:2007年第68季度 68瓦50 PDF格式BibTeX公司 XML格式引用 \textit{A.Ţurlea}等人,J.Membr。计算。1,第4号,241--250(2019;Zbl 1469.68054) 全文: 内政部
盖奥尔吉,玛丽安;罗迪卡·塞特基;佛罗伦萨伊帕特;萨瓦斯·科努尔;莱夫蒂卡鲁,拉鲁卡 核心P系统:从建模到验证和测试。 (英文) 兹比尔1390.68309 西奥。计算。科学。 724, 45-60 (2018).MSC公司:2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghe}等人,Theor。计算。科学。724,45-60(2018年;兹比尔1390.68309) 全文: 内政部 链接
盖奥尔吉,玛丽安;罗迪卡·塞特基;佛罗伦萨伊帕特;萨瓦斯·科努尔 内核P系统建模、测试和验证——分类案例研究。 (英文) Zbl 1483.68118号 Leporati,Alberto(编辑)等人,《膜计算》。2016年7月25日至29日,第17届国际会议,CMC 2016,意大利米兰。修订了选定的论文。查姆:斯普林格。勒克特。注释计算。科学。10105, 233-250 (2017).MSC公司:2007年第68季度 第68页第10页 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghe}等人,Lect。注释计算。科学。10105233--250(2017;Zbl 1483.68118) 全文: 内政部
佛罗伦萨伊帕特;莱夫蒂卡鲁,拉鲁卡;克里斯蒂娜·图多斯 使用Spin对P系统进行正式验证。 (英文) Zbl 1213.68273号 发现的国际期刊。计算。科学。 22,第1期,133-142(2011).MSC公司:2010年第68季度 2005年第68季度 60年第68季度 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公司:60年第68季度 2010年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}等人,J.Log。阿尔盖布。程序。79,第6号,350-362(2010;Zbl 1208.68146) 全文: 内政部 链接