A.E.Verger。;Pervanyuk，A.S。 描述循环图测试模型并执行模型验证的形式。 （英语。俄文原件） Zbl 1303.68086号 自动。远程控制 74，第10期，1761-1770（2013）; Avtom翻译。舞会。2011年，第9期，34-40（2011）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Verger}和\textit{A.S.Pervanyuk}，汽车。遥控器74，No.101761--1770（2013；Zbl 1303.68086）；Avtom翻译。舞会。2011年第9期，第34--40号（2011） 全文： DOI程序
Klyuchnikov，K.K。 存在随机故障时程序执行时间的随机变量的概率分布分析。 （英语。俄文原件） Zbl 1181.93081号 自动。远程控制 70，第7期，1250-1260（2009）; Avtom翻译。Telemekh公司。2009年，第7期，175-185（2009）。MSC公司：93E10型 93C83号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.K.Klyuchnikov}，汽车。遥控器70，编号7，1250--1260（2009；Zbl 1181.93081）；Avtom翻译。Telemekh公司。2009年第7期，175--185（2009） 全文： DOI程序
A.V.巴比切夫。 二阶弱一元理论是创建数据规范语言的基础。 （英语。俄文原件） 兹伯利0930.68088 自动。远程控制 58，第2号，第2部分，310-319（1997）; Avtom翻译。Telemekh公司。1997年，第2期，194-208（1997）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Babichev}，汽车。遥控器58，第2号，第2部分，310-319（1997；Zbl 0930.68088）；Avtom翻译。Telemekh公司。1997年，第2期，194--208（1997）
A.V.巴比切夫。 具有复杂数据类型的程序中类型控制的分类。 （英语。俄文原件） Zbl 0691.68017号 自动。远程控制 50，第3期，422-429（1989）; Avtom翻译。Telemekh公司。1989年，第3期，167-175（1989）。MSC公司：68第05页 68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Babichev}，汽车。遥控器50，No.3，422--429（1989；Zbl 0691.68017）；Avtom翻译。Telemekh公司。1989年，第3期，167--175（1989）
L.Ya拉普金。 以各种形式指定的布尔函数的程序实现的复杂性边界。 （英语。俄文原件） Zbl 0641.94031号 自动。远程控制 48，第1期，111-124（1987）; Avtom翻译。Telemekh公司。1987年，第1期，135-150（1987）。MSC公司：94立方厘米10 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Ya.Lapkin}，自动。遥控器48，No.1，111--124（1987；Zbl 0641.94031）；Avtom翻译。Telemekh公司。1987年，第1期，135--150（1987）
V.O.格罗彭。 游戏模型是优化计算机软件的基础。 （英语。俄文原件） Zbl 0616.68030号 自动。远程控制 47, 1140-1147 (1986); Avtom翻译。Telemekh公司。1986年，编号8，135-143（1986）。MSC公司：68N99型 60年第68季度 91A05型 91A20型 PDF格式BibTeX公司 XML格式引用 \textit{V.O.Groppen}，自动。遥控器47，1140--1147（1986；Zbl 0616.68030）；Avtom翻译。Telemekh公司。1986年，第8期，135--143（1986）
巴申采夫，V.V。 使用公共数据检查并行程序的性能。 （英语。俄文原件） Zbl 0602.68019号 自动。远程控制 47, 437-442 (1986); Avtom翻译。Telemekh公司。1986年，第3期，164-169（1986）。MSC公司：60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Parshentsev}，自动。遥控器47，437--442（1986；Zbl 0602.68019）；Avtom翻译。Telemekh公司。1986年，第3期，164--169（1986）
阿特尤霍夫，V.L。;库兹涅佐夫，B.P。;A.A.沙利托。 带循环的可调二进制过程和程序。 （英语。俄文原件） Zbl 0564.94015号 自动。远程控制 45, 1481-1488 (1984); Avtom翻译。Telemekh公司。1984年，第11期，第112-119页（1984年）。MSC公司：94立方厘米10 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Artyukhov}等人，《汽车》。遥控器45，1481--1488（1984；Zbl 0564.94015）；Avtom翻译。Telemekh公司。1984年，第11号，第112-119号（1984）
V.B.古塞夫。;Yu Shurajts。M。 线性程序段的时间优化。 （英语。俄文原件） Zbl 0545.68014号 自动。远程控制 45263-267（1984年）; Avtom翻译。Telemekh公司。1984年，第2期，第143-148页（1984年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.B.Gusev}和\textit{Yu.M.Shurajts}，汽车。遥控器45，263--267（1984；Zbl 0545.68014）；Avtom翻译。Telemekh公司。1984年，第2143-148号（1984年）
L.Ya拉普金。 用向量程序实现逻辑函数。 （英语。俄文原件） Zbl 0519.68018号 自动。远程控制 44, 120-128 (1983); Avtom翻译。Telemekh公司。1983年，第3期，372-380（1983）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Ya.Lapkin}，自动。遥控器44，120--128（1983；Zbl 0519.68018）；Avtom翻译。Telemekh公司。1983年，第3期，372--380（1983）
亚比切夫斯基。是的。;于博佐夫。五、。 计算机程序符号测试方法的发展。 （英语。俄文原件） Zbl 0504.68010号 自动。远程控制 43, 1054-1061 (1983); Avtom翻译。Telemekh公司。1982年，第8期，第93-101页（1982年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Ya.Ya.Bichevskij}和\textit{Yu.V.Borzov}，汽车。遥控器43，1054--1061（1982；Zbl 0504.68010）；Avtom翻译。Telemekh公司。1982年，第8期，93--101（1982）
格里戈里安，A.K。;Zolotarevskaya，M.Ya。 修改逻辑算法和程序。 （英语。俄文原件） Zbl 0503.68016号 自动。远程控制 43226-935（1982年）; Avtom翻译。Telemekh公司。1982年，第7期，第103-112页（1982年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Grigoryan}和\textit{M.Ya.Zolotarevskaya}，汽车。遥控器43，926--935（1982；Zbl 0503.68016）；Avtom翻译。Telemekh公司。1982年，第7103-112号（1982年）
亚·科根。答：。 具有重叠位置的程序行为的建模和评估。 （英语。俄文原件） Zbl 0467.68023号 自动。远程控制 41, 1749-1754 (1981); Avtom翻译。Telemekh公司。1980年，第12期，157-164（1980）。MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Ya.A.Kogan}，自动。遥控器41、1749——1754（1980；Zbl 0467.68023）；Avtom翻译。Telemekh公司。1980年，第12期，157--164（1980）
帕霍曼科，P.P。;Pravil’schchikov，P.A.公司。 软件诊断（审查）。 （英语。俄文原件） Zbl 0439.68021号 自动。远程控制 41, 82-96 (1980); Avtom翻译。Telemekh公司。1980年，第1期，第103-121页（1980年）。MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{P.P.Parkhomenko}和\textit{P.A.Pravil’schchikov}，汽车。遥控器41，82--96（1980；Zbl 0439.68021）；Avtom翻译。Telemekh公司。1980年，第1期，第103--121页（1980）
Aladzhev，B.M。;科科托夫，V.M。 程序中检查点之间的最佳间隔。 （英语。俄文原件） Zbl 0429.68039号 自动。远程控制 1531-1536年（1980年）; Avtom翻译。Telemekh公司。1979年，第10期，157-164（1979）。MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.M.Aladzhev}和\textit{V.M.Kokotov}，汽车。遥控器40，1531--1536（1979；Zbl 0429.68039）；Avtom翻译。Telemekh公司。1979年，第10157-164号（1979年）
Pravil’schchikov，P.A.公司。;什切宾，V.S。 以对话模式编译结构程序，并生成并发测试。 （英语。俄文原件） Zbl 0429.68027号 自动。远程控制 40, 1205-1213 (1980); Avtom翻译。泰尔梅克。1979年，第8期，129-138（1979）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Pravil’schchikov}和\textit{V.S.Shchepin}，汽车。遥控器40，1205--1213（1979；Zbl 0429.68027）；Avtom翻译。泰尔梅克。1979年，第8期，129--138（1979）
北卡罗来纳州Karpinskaya。 求解对偶线性规划问题的连续算法。 （英语。俄文原件） Zbl 0419.90065号 自动。远程控制 38, 1106-1112 (1977); Avtom翻译。Telemekh公司。1977年，第7197-2004号（1977年）。MSC公司：90C05（二氧化碳） 65千5 41A25型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.N.Karpinskaya}，汽车。遥控器38，1106--1112（1977；Zbl 0419.90065）；Avtom翻译。Telemekh公司。1977年，第7期，197--204（1977）
尼斯尼维奇，L.B。;Stetsyura，G.G。 采用最简单下降法进行信息不准确的分散控制。 （英语。俄文原件） Zbl 0267.68052号 自动。远程控制 33, 1493-1499 (1972); Avtom翻译。Telemekh公司。1972年，第9期，第101-108页（1972年）。 审核人：W.克劳斯 MSC公司：93C83号 93甲14 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.B.Nisnevich}和\textit{G.G.Stetsyura}，Autom。遥控器33，1493-1499（1972；Zbl 0267.68052）；Avtom翻译。Telemekh公司。1972年，第9期，101--108（1972） 全文： MNR公司
尼斯尼维奇，L.B。;Stetsyura，G.G。 在资源流分配的单步系统中对客户交互进行分散控制。二、。 （英语。俄文原件） Zbl 0253.90024号 自动。远程控制 33, 975-982 (1972); Avtom翻译。Telemekh公司。1972年，第6期，第102-110页（1972年）。MSC公司：90B25型 93C83号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.B.Nisnevich}和\textit{G.G.Stetsyura}，Autom。遥控器33，975--982（1972；Zbl 0253.90024）；Avtom翻译。Telemekh公司。1972年，第6号，第102--110号（1972年） 全文： MNR公司
尼斯尼维奇，L.B。;Stetsyura，G.G。 资源流分配单步系统中消费者交互的分散控制。一、。 （英语。俄文原件） 兹比尔0253.90023 自动。远程控制 33, 808-815 (1972); Avtom翻译。Telemekh公司。1972年，第5期，第114-122页（1972年）。MSC公司：90B25型 93C83号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.B.Nisnevich}和\textit{G.G.Stetsyura}，Autom。遥控器33，808--815（1972；Zbl 0253.90023）；Avtom翻译。Telemekh公司。1972年，第5期，114-122（1972） 全文： MNR公司