Model-based testing of Internet Mail Protocols by N. V. Pakulin, A. N. Tugaenko

Get full text

TLS clients testing by A. V. Nikeshin, N. V. Pakulin, V. Z. Shnitman

Get full text

Developing a Debugger for Real-Time Operating System by A. N. Emelenko, K. A. Mallachiev, N. V. Pakulin

Get full text

Test Suite development for verification of TLS security protocol by A. V. Nikeshin, N. V. Pakulin, V. Z. Shnitman.

Get full text

Conformance test suite for implementations of the security protocol suite IPsec v2 by A. V. Nikeshin, N. V. Pakulin, V. Z. Shnitman.

Get full text

Design and architecture of real-time operating system by K. M. Mallachiev, N. V. Pakulin, A. V. Khoroshilov

Get full text

Debugger for Real-Time OS: Challenges of Multiplatform Support by A. N. Emelenko, K. A. Mallachiev, N. V. Pakulin

Get full text

Analysis of methods for assessing the reliability of equipment and systems. Practice of methods by N. V. Pakulin, E. M. Lavrischeva, A. G. Ryzhov, S. V. Zelenov

Get full text

Using modularization in embedded OS by K. A. Mallachiev, N. V. Pakulin, A. V. Khoroshilov, D. V. Buzdalov

Get full text