Вісники НТУ "ХПІ"

Постійне посилання на розділhttps://repository.kpi.kharkov.ua/handle/KhPI-Press/2494


З 1961 р. у ХПІ видається збірник наукових праць "Вісник Харківського політехнічного інституту".
Згідно до наказу ректора № 158-1 від 07.05.2001 року "Про упорядкування видання вісника НТУ "ХПІ", збірник був перейменований у Вісник Національного Технічного Університету "ХПІ".
Вісник Національного технічного університету "Харківський політехнічний інститут" включено до переліку спеціалізованих видань ВАК України і виходить по серіях, що відображають наукові напрямки діяльності вчених університету та потенційних здобувачів вчених ступенів та звань.
Зараз налічується 30 діючих тематичних редколегій. Вісник друкує статті як співробітників НТУ "ХПІ", так і статті авторів інших наукових закладів України та зарубіжжя, які представлені у даному розділі.

Переглянути

Фільтри

2004 - 20053

Налаштування

Автор: search.filters.author.Старусев, О. Г.Містить файли: Так

Результати пошуку

Зараз показуємо 1 - 3 з 3
  • Ескіз
    Документ
    Формальное описание функционирования протоколов передачи данных
    (НТУ "ХПИ", 2005) Старусев, О. Г.
    У статті наведено огляд проблеми формальної специфікації та верифікації мережевих протоколів, розглянуто опис протоколу ABP із допомогою ряду автоматних формальних методів та наведено ряд міркувань з верифікації мережевих протоколів.
  • Ескіз
    Документ
    Использование метода формальной спецификации Z для описания информационной системы
    (НТУ "ХПИ", 2004) Старусев, О. Г.
    В статье рассмотрен подход к описанию информационной системы с помощью одного из методов формальной спецификации - Z. Приведено описание метода и указано его использование при описании реальной технической системы, а также место этого метода среди других методов формального описания систем.
  • Ескіз
    Документ
    Выбор инструментария для формальной спецификации информационных систем в нотации Z
    (НТУ "ХПИ", 2004) Старусев, О. Г.
    У статті наведений огляд програмних засобів, що підтримують метод формальної специфікації – Z, розглянуті основні властивості та характеристики програмного інструментарію, наведені рекомендації щодо вибору того чи іншого програмного засобу.