TY  JOUR
TI  ВЕРИФИКАЦИЯ РАСПРЕДЕЛЕНИЯ ПОЛЬЗОВАТЕЛЬСКОГО ИНТЕРФЕЙСА  НА ОСНОВЕ ПИ-ИСЧИСЛЕНИЯ
KW  верификация
KW  формализация
KW  распределение
KW  распределенный интерфейс
KW  пользовательский интерфейс
KW  пи-исчисление
KW  редукция
JO  Вестник Брянского государственного технического университета
AU  Сакулин, С.А.
AU  Алфимцев, А.Н.
AU  Типсин, Е.А.
PY  2018
IS  2018
PB  Брянский государственный технический университет