佛罗伦萨伊帕特;伊奥努·尼古列斯库;拉卢卡左翼;萨瓦斯·科努尔;玛丽安·盖奥吉 一种基于模型学习的内核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) 全文: 内政部
阿娜·乌雷;玛丽安·盖奥吉;佛罗伦萨伊帕特;萨瓦斯·科努尔 膜计算中基于搜索的测试。 (英语) 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系统:从建模到验证和测试。 (英语) 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) 全文: 内政部 链接
玛丽安·盖奥吉;罗迪卡·塞特基;佛罗伦萨伊帕特;萨瓦斯·科努尔 内核P系统建模、测试和验证——分类案例研究。 (英语) Zbl 1483.68118号 Leporati,Alberto(编辑)等人,《膜计算》。2016年7月25日至29日,第17届国际会议,CMC 2016,意大利米兰。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。10105, 233-250 (2017).MSC公司:2007年第68季度 68页第10页 第68季度第45季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghe}等人,Lect。注释计算。科学。10105233--250(2017;Zbl 1483.68118) 全文: 内政部
萨瓦斯·科努尔 朝向轻量级概率模型检查。 (英语) Zbl 1442.68109号 J.应用。数学。 2014年,文章ID 814159,15 p.(2014).MSC公司:第68季度第60季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Konur},J.Appl(J.应用)。数学。2014年,文章ID 814159,15 p.(2014;Zbl 1442.68109) 全文: 内政部
萨瓦斯·科努尔 用于指定和验证实时系统的时序逻辑调查。 (英语) Zbl 1425.68258号 前面。计算。科学。 7,第3期,370-403(2013).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Konur},前面。计算。科学。7,第3号,370--403(2013;Zbl 1425.68258) 全文: 内政部