Машиностроение
Промышленные автоматизированные системы
Измерение и контроль производственного процесса
18629-14-2011
: действующий
: 23.07.2013
: 01.01.2013
: 06.04.2015
: 06.04.2015
: 16.01.2015
: 01.01.1970
ZIP-
В настоящем стандарте в виде аксиом и определений установлены основные принципы, связанные с внешним ядром языка спецификаций процесса (outer core). Приведенные аксиомы обеспечивают аксиоматизацию семантики терминологии, принятой в настоящем стандарте.