萨迪科夫，R.F。;Mandrykin，M.U。 有界指针算法理论的完整决策过程。 （英语） Zbl 1517.68082号 程序。计算。柔和。 48，编号8，770-780（2022）.MSC公司：68号30 03B70号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Sadykov}和\textit{M.U.Mandrykin}，程序。计算。柔和。48，编号8，770--780（2022；Zbl 1517.68082） 全文： 内政部
安德里亚诺夫，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） 全文： 内政部
希皮兹，G。;A.Kryukov。 带索引的多项式表达式的规范表示。 （英语。俄文原件） Zbl 1455.68289号 程序。计算。柔和。 45，第2号，81-87（2019）; 译自Programmirovanie 45，No.2，66-72（2019）。MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{G.Shpiz}和\textit{A.Kryukov}，程序。计算。柔和。45，编号2，81-87（2019；兹bl 1455.68289）；译自Programmirovanie 45，No.2，66-72（2019） 全文： 内政部
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） 全文： 内政部
斯梅扬斯基，R.L。 分布式计算系统随时间运行的模型。 （英语。俄文原件） Zbl 1311.68033号 程序。计算。柔和。 39，第5期，233-241（2013）; 译自Programmirovanie 39，No.5（2013）。MSC公司：64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Smelyansky}，程序。计算。柔和。39，No.5，233--241（2013；Zbl 1311.68033）；译自Programmirovanie 39，No.5（2013） 全文： 内政部
马克西姆·列奥尼多维奇（Maksim Leonidovich Gromov）;N.V.叶夫图申科。 时间有限状态机区分测试用例的合成。 （英语。俄文原件） Zbl 1251.68132号 程序。计算。柔和。 36，第4期，216-224（2010）; 翻译自Programmirovanie 36，第4期（2010年）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Gromov}和\textit{N.V.Yevtushenko}，程序。计算。柔和。36，第4号，216--224（2010；Zbl 1251.68132）；译自Programmirovanie 36，No.4（2010） 全文： 内政部
Virbitskaite，I.B.公司。;新南威尔士州格里博夫斯卡娅。 统一定时转换系统的行为等效性。 （英语。俄文原件） Zbl 1251.68163号 程序。计算。柔和。 36，第3期，138-148（2010）; 译自Programmirovanie 36，No.3（2010）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Virbitskaite}和\textit{N.S.Gribovskaya}，程序。计算。柔和。36，第3号，138--148（2010；Zbl 1251.68163）；译自Programmirovanie 36，No.3（2010） 全文： 内政部
穆提林（V.S.Mutilin）。 程序接口的多线程测试。 （英语。俄文原件） Zbl 1183.68100号 程序。计算。柔和。 35，第6期，314-320（2009）; 译自Programmirovanie 35，No.6（2009）。MSC公司：68米15 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{V.S.Mutilin}，程序。计算。柔和。35，第6号，314--320（2009；Zbl 1183.68100）；译自Programmirovanie 35，No.6（2009） 全文： 内政部
伯多诺夫，I.B。;科萨切夫，A.S。 具有优先级的系统：一致性、测试和组合。 （英语。俄文原件） Zbl 1183.68095号 程序。计算。柔和。 35，第4期，198-211（2009）; 译自Programmirovanie 35，No.4（2009）。MSC公司：68米15 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Bourdonov}和\textit{A.S.Kossatchev}，程序。计算。柔和。35，第4号，198--211（2009；Zbl 1183.68095）；译自Programmirovanie 35，No.4（2009） 全文： 内政部
伯多诺夫，I.B。;科萨切夫，A.S。;V.V.库利亚明。 测试实验的形式化。 （英语。俄文原件） Zbl 1154.68340号 程序。计算。柔和。 33，第5期，239-260（2007）; 译自Programmirovanie 2007，No.5，3-32（2007）。MSC公司：68米15 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Bourdonov}等人，《程序》。计算。柔和。33，第5号，239--260（2007；Zbl 1154.68340）；译自Programmirovanie 2007，No.5，3--32（2007） 全文： 内政部
Neponiaschij，V.A。;安努列夫，I.S。;杜布拉诺夫斯基，I.V。;普罗姆斯基，A.V。 C程序验证：三级方法。 （英语。俄文原件） Zbl 1117.68020号 程序。计算。柔和。 32，第4期，190-202（2006）; 译自Programmirovanie 2006，第4期，4-20（2006）。MSC公司：68号30 60年第68季度 68问题55 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Nepominaschij}等人，项目。计算。柔和。32，第4号，190--202（2006；Zbl 1117.68020）；译自Programmirovanie 2006，No.4，4--20（2006） 全文： 内政部
S.D.施托夫巴。 蚂蚁算法：理论与应用。 （英语。俄文原件） 邮编1120.90051 程序。计算。柔和。 31，第4期，167-178（2005）; 译自Programmirovanie 31，No.4，3-18（2005）。MSC公司：90C27型 90B20型 90B80型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.D.Shtovba}，程序。计算。柔和。31，第4号，167--178（2005；Zbl 1120.90051）；译自Programmirovanie 31，No.4，3--18（2005） 全文： 内政部