Zaslat SMS: Формализация бизнес-процессов проектирования бортовой радиоэлектронной аппаратуры в PLM-системе