A survey of methods for constructing covering arrays V. V. KuliaminA. A. Petukhov OriginalPaper 25 May 2011 Pages: 121 - 146
Survey of modern technologies of simulation-based verification of hardware A. S. KamkinM. M. Chupilko OriginalPaper 25 May 2011 Pages: 147 - 152
On frequency analysis of sequential program code execution R. L. Smelyanskiy OriginalPaper 25 May 2011 Pages: 153 - 160
Simulation of operational semantics of machine instructions V. A. PadaryanM. A. Solov’evA. I. Kononov OriginalPaper 25 May 2011 Pages: 161 - 170
Methods and tools for translation of graphical diagrams O. G. SharovA. N. Afanas’ev OriginalPaper 25 May 2011 Pages: 171 - 179