Машиностроение
Промышленные автоматизированные системы
Измерение и контроль производственного процесса
10303-12-2000
: действующий
: 13.03.2001
: 01.01.2002
: 06.04.2015
: 06.04.2015
: 16.01.2015
: 01.01.1970
ZIP-
Настоящий стандарт определяет язык, на котором может быть описан (отображен) экземпляр (часть) рассматриваемой предметной области. Стандарт также определяет метод формального описания для поддержки спецификаций абстрактных тестовых (контрольных) примеров. Данный язык называется EXPRESS-1.