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