Models and methods of analysis, synthesis, verification and diagnostics of computer systems and networks

 

Models and methods of analysis, synthesis, verification and diagnostics of computer systems and networks

 

Issue number:

View the article:

Authors:

Vol. 8 № 2 2025

216–230

Generalization of the method for constructing GL-models of complex fault-tolerant multiprocessor systems with additional failure conditions
  • Vitaliy A. Romankevich
  • Ihor A. Yermolenko
  • Kostiantyn V. Morozov
  • Alexei M. Romankevich
  • Oleksandr O. Melnyk

Vol. 8 № 2 2025

202–215

Risk assessment and network description modules in a multi-level wireless sensor network risk assessment ontology
  • Pavlo R. Shtilman
  • Petr M. Tishin
  • Yevhen V. Shendryk
  • Vitaliy O. Elkin

Vol. 8 № 2 2025

191–201

A hybrid method for detecting anomalous traffic in computer networks
  • Yurii P. Klots
  • Nataliia S. Petliak
  • Vira Y. Titova