瓦西利耶夫,A.A。;穆提林(V.S.Mutilin)。 符号存储图的谓词扩展,用于存储安全正确性分析。 (英语) Zbl 1467.68041号 程序。计算。柔和。 46,第8期,747-754(2020年).MSC公司:68号30 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Vasilyev}和\textit{V.S.Mutilin},程序。计算。柔和。46,第8号,747--754(2020;Zbl 1467.68041) 全文: 内政部
安德里亚诺夫,P.S。 分析操作系统组件的正确同步。 (英语) Zbl 1467.68032号 程序。计算。柔和。 46,编号8,712-730(2020).MSC公司:68N25号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.S.Andrianov},程序。计算。柔和。46,编号8,712--730(2020;Zbl 1467.68032) 全文: 内政部
J·朱利安德。;O.库什纳伦科。;马森,P.A。;沃伊隆,G。 从事件系统抽象生成测试,以覆盖其状态和转换。 (英语。俄文原件) Zbl 1455.68104号 程序。计算。柔和。 44,第1期,1-14(2018); 译自Programmirovanie 44,No.1,3-20(2018)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Julliand}等人,《计划》。计算。柔和。44,第1号,1-14(2018;Zbl 1455.68104);译自Programmirovanie 44,No.1,3--20(2018) 全文: 内政部
卡姆金,A.S。 投影过渡系统:克服并发系统验证中的状态爆炸。 (英语。俄文原件) Zbl 1339.68189号 程序。计算。柔和。 41,第6期,311-324(2015); 译自Programmirovanie 41,No.6(2015)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Kamkin},程序。计算。柔和。41,No.6,311--324(2015;Zbl 1339.68189);译自Programmirovanie 41,No.6(2015) 全文: 内政部
新墨西哥州加拉尼娜。 具有完全召回的多智能体系统模型检测时间复杂度的指数改进。 (英语。俄文原件) Zbl 1257.68151号 程序。计算。柔和。 38,第6期,294-303(2012); 译自Programmirovanie 38,No.6(2012)。MSC公司:68瓦40 60年第68季度 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{N.O.Garanina},程序。计算。柔和。38,第6号,294--303(2012;Zbl 1257.68151);译自Programmirovanie 38,No.6(2012) 全文: 内政部
Shved,体育。;穆提林(V.S.Mutilin)。;Mandrykin,M.U。 改进BLAST静态验证工具的经验。 (英语。俄文原件) Zbl 1252.68081号 程序。计算。柔和。 38,第3期,134-142(2012); 译自Programmirovanie 38,No.3(2012)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Shved}等人,程序。计算。柔和。38,第3号,134--142(2012;Zbl 1252.68081);译自Programmirovanie 38,No.3(2012) 全文: 内政部
布利切夫,P.E。 博弈论模拟检查工具。 (英语。俄文原件) 兹比尔1242.68154 程序。计算。柔和。 37,第4期,200-209(2011); 译自Programmirovanie 37,No.4(2011)。MSC公司:60年第68季度 68问题85 03B44号 91A80型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Bulychev},程序。计算。柔和。37,第4号,200--209(2011;Zbl 1242.68154);译自Programmirovanie 37,No.4(2011) 全文: 内政部
M.K.瓦利耶夫。;M.I.Dekhtyar。;迪科夫斯基,A.雅。 由逻辑程序控制的代理系统:验证的复杂性。 (英语。俄文原件) Zbl 1187.68626号 程序。计算。柔和。 35,第5期,266-281(2009); 译自Programmirovanie 35,No.5(2009)。MSC公司:68T42型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Valiev}等人,《程序》。计算。柔和。35,第5号,266--281(2009;Zbl 1187.68626);翻译自Programmirovanie 35,第5期(2009年) 全文: 内政部
V.V.库利亚明。 程序系统验证方法的集成。 (英语。俄文原件) 兹比尔1183.68378 程序。计算。柔和。 35,第4期,212-222(2009); 译自Programmirovanie 35,No.4(2009)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Kuliamin},程序。计算。柔和。35,第4号,212--222(2009;Zbl 1183.68378);译自Programmirovanie 35,No.4(2009) 全文: 内政部