00834naa#a2200217#i#450# EN\\bibl\23745 20241220023541.5 1999-8775 20181106b2018####ek#y0engy0150####ca RU VERIFICATION OF USER INTERFACE DISTRIBUTION BASED ON π-CALCULUS Journal article Bryansk Bryansk State Technical University 2018 9 с. Journal article local Инженерное дело. Техника в целом. Транспорт. 62 Общие вопросы машиностроения. 55.01 grnti Технология машиностроения. 55.13 grnti Sakulin Sergey Aleksandrovich Alfimcev Aleksandr Nikolaevich Tipsin Evgeniy Andreevich zh-szf.ru