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