|
|
ГОСТ Р ИСО 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). Приведенные аксиомы обеспечивают аксиоматизацию семантики терминологии, принятой в настоящем стандарте
|