安德里亚诺夫,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) 全文: 内政部
Virbitskaite,I.B.公司。;博罗夫列夫,V.A。;波波瓦·齐格曼。 离散时间Petri网的“真正并发”和非确定性语义。 (英语。俄文原件) Zbl 1451.68194号 程序。计算。柔和。 42,第4期,187-197(2016); 译自Programmirovanie 42,No.4,4-16(2016)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Virbitskaite}等人,程序。计算。柔和。42,No.4,187--197(2016;Zbl 1451.68194);译自Programmirovanie 42,No.4,4--16(2016) 全文: 内政部
萨波日尼科夫,A。 正常程序行为模型构建的自动化。 (英语。俄文原件) Zbl 1253.68098号 程序。计算。柔和。 38,第4号,210-217(2012); 译自Programmirovanie 38,No.4(2012)。MSC公司:68号30 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Sapozhnikov},程序。计算。柔和。38、第4号、第210-217号(2012;Zbl 1253.68098);译自Programmirovanie 38,No.4(2012) 全文: 内政部
利西萨,A.P。;Nemytykh,A.P。 在一个使用oracle进行计算的应用程序上。 (英语。俄文原件) Zbl 1253.68089号 程序。计算。柔和。 36,第3期,157-165(2010); 译自Programmirovanie 36,No.3(2010)。MSC公司:68N20型 第68页第19页 68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Lisitsa}和\textit{A.P.Nemytykh},程序。计算。柔和。36,第3号,157--165(2010;Zbl 1253.68089);译自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) 全文: 内政部
A.N.特雷霍夫。;索科洛夫,V.V。 在REAL技术中实现MSC和SDL图的构造。 (英语。俄文原件) Zbl 1120.68395号 程序。计算。柔和。 33,第1号,24-33(2007); 译自Programmirovanie 33,No.1,35-50(2007)。MSC公司:68N99型 68周05 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Terekhov}和\textit{V.Sokolov},程序。计算。柔和。33,第1号,24-33(2007;Zbl 1120.68395);译自Programmirovanie 33,No.1,35--50(2007) 全文: 内政部
利西萨,A.P。;Nemytykh,A.P。 作为参数化测试的验证(使用SCP4超级编译器的实验)。 (英语。俄文原件) 兹比尔1120.68383 程序。计算。柔和。 33,第1期,14-23页(2007年); 译自Programmirovanie 33,No.1,22-34(2007)。MSC公司:68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Lisitsa}和\textit{A.P.Nemytykh},程序。计算。柔和。33,第1号,第14-23号(2007;Zbl 1120.68383);译自Programmirovanie 33,No.1,22--34(2007) 全文: 内政部
泽列诺夫,S.V。;Zelenova,S.A.公司。 为解析器生成正测试和负测试。 (英语。俄文原件) Zbl 1115.68376号 程序。计算。柔和。 31,第6号,310-320(2005); 译自Programmirovanie 31,No.6,25-40(2005)。MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Zelenov}和\textit{S.A.Zelenova},程序。计算。柔和。31,第6号,310-320(2005;Zbl 1115.68376);译自Programmirovanie 31,No.6,25--40(2005) 全文: 内政部
I.V.康诺夫。;扎哈罗夫,V.A。 对称参数化分布式系统的验证方法。 (英语。俄文原件) Zbl 1103.68025号 程序。计算。柔和。 31,第5期,225-236(2005); 译自Programmirovanie 31,No.5,3-17(2005)。MSC公司:68米14 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Konnov}和\textit{V.A.Zakharov},程序。计算。柔和。31,第5号,225--236(2005;Zbl 1103.68025);译自Programmirovanie 31,No.5,3--17(2005) 全文: 内政部