ISO/IEC 9074:1997
Информационные технологии. Взаимосвязь открытых систем. Estelle: метод формализованного описания, основанный на модели перехода расширенного состояния

 

241 страница

Опубликован 01.12.1997

Information technology - Open Systems Interconnection - Estelle: A formal description technique based on an extended state transition model