Елена Борисовна Коровченко

ассистент, ассистент    /    Украина, Харьков

Пожалуйста, напишите здесь информацию о себе

Сфера научных интересов

Публикации

Формализация поведения протоколов информационного обмена, представленных моделями на основе аппарата Е-сетей

Е.В. Дуравкин, Е.Б.Коровченко
Предложен метод верификации протоколов информационного обмена на основе использования Е-сетей и формальных грамматик. Метод позволяет уменьшить размерность...
Ключевые слова: верификация спецификация Е-сеть...
→ Ключевые слова: верификация спецификация Е-сеть формальная грамматика модель системы протокол.  

Образование

Профессиональный опыт