RUS  ENG
Full version
JOURNALS // Computing, Telecommunication and Control // Archive

2015, Issue 1(212)


Telecommunication Systems and Computer Networks
Definition îf the spatial and technical parameters LTE network
V. Yu. Babkov, A. V. Nikitina, V. V. Starikov
7
Qualification routes messaging for dynamic systems using à logical-probabilistic method
V. V. Glazunov, M. A. Kurochkin, S. G. Popov
16

Circuits and Systems for Receiving, Transmitting and Signal Processing
Improved model and computing technique of TDR trace for a transmission line with discontinuities
M. S. Bylina
23
Angle of arrival method for global navigation satellite systems integrity monitoring
A. P. Melikhova, I. A. Tsikin
37

System Analysis and Control
Estimation region of stability for energy system based on the direct method of Lyapunov
V. N. Kozlov, G. A. Ryabov, I. U. Trosko
49

Conference "Tools and Methods of Program Analysis - 2014"
A method of extended finite state machines construction from HDL descriptions based on static analysis of source code
S. A. Smolov, A. S. Kamkin
60
Vermont – a toolset for verification of software defined networks
V. A. Zakharov, V. S. Altukhov, V. V. Podymov, E. V. Chemeritsky
74
Integration testing automation: case study of financial data exchange modules based on FIX-protocol
V. V. Brekelov, E. A. Borisov, I. A. Barygin
88

Overview of International Conferences
International Congress on Ultra Modern Telecommunications and Control Systems
V. V. Efimov, S. V. Mescheryakov, D. A. Shchemelinin
101
ASE International Conferences on Big Data Science and Computing
S. V. Mescheryakov, A. O. Rudenko, D. A. Shchemelinin
110


© Steklov Math. Inst. of RAS, 2026