Тема / Topic: 09. 12-00. Учебный центр. КАК ЭФФЕКТИВНО СОЗДАВАТЬ РАСПРЕДЕЛЕННЫЕ АСУТП В ТРЕЙС МОУД. ПОСТАНОВКА ЗАДАЧИ. ФОРМАЛИЗАЦИЯ ОГРАНИЧЕНИЙ / EXCELLING IN THE TRACE MODE BASED DISTRIBUTED CONTROL SYSTEMS DESIGN. FUNDAMENTALS AND BOUNDARIES / Фридлянд А.В. Руководитель службы техподдержки, Адастра / Anatoly Fridland, Technical support director, AdAstra