1 documents found
Korovchenko Olena Borysivna. Models and methods for analysis and verification telecommunications protocols based on the E-networks and formal grammars
: к.т.н. :
spec.. 05.12.02 - Телекомунікаційні системи та мережі :
presented. 2011-10-12; popup.evolution: .;
Kharkov national university of radioelectronics. – , 0411U005922.
1 documents found
Updated: 2026-03-28
