Journal Highly available systems №1 for 2022 year
About the problem of trust in verification centers in Russian Federation

D.A. Melnikov

Federal Research Center «Computer Science and Control» of the Russian Academy of Sciences (Moscow), National Research Nuclear University «MEPhI», Financial University under the Government of the Russian Federation

5-15
On the issue of recognizing fraudulent Websites

D.A. Melnikov

Federal Research Center «Computer Science and Control» of the Russian Academy of Sciences (Moscow, Russia)
National Research Nuclear University «MEPhI», Financial University under the Government of the Russian Federation

16-25
Methodological foundations for the preparation of materials and data that ensure the planning and adjustment of the plan in the proactive management of aviation safety

V.G. Belenkov1, M.V. Volkov2, D.A. Godikov3, A.V. Kan4

1 FRC «Computer Science and Control» RAS (Moscow, Russia)

2–3 Closed Scientific and Production Joint-Stock Company «Department of Problems of Military Economics and Finance» (Tver, Russia)

4 Institute n.a. N.E. Zhukovsky

26-38
The methodology of proactive aviation safety management and the formation of reliable predictive assessments of the level of flight safety

V.G. Belenkov1, M.V. Volkov2, D.A. Godikov3, A.V. Kan4

1 FRC «Computer Science and Control» RAS (Moscow, Russia)

2–3 Closed Scientific and Production Joint-Stock Company «Department of Problems of Military Economics and Finance» (Tver, Russia)

4 Institute n.a. N.E. Zhukovsky

39-46
Software tools for analysis and synthesis of stochastic systems with high availability (XV)

I.N. Sinitsyn1, V.I. Sinitsyn2, E.R. Korepanov3, T.D. Konashenkova4

1–4 FRC «Computer Science and Control» of RAS (Moscow, Russia)

47-61
62-73