Обозначение: | ГОСТ Р ИСО/МЭК ТО 10023-93 |
Текущий статус документа: | действующий |
Название документа рус.: | Информационная технология. Передача данных и обмен информацией между системами. Формализованное описание услуг транспортного уровня (ГОСТ 34.960-91) на языке LОТОS |
Название документа англ.: | Information technology. Telecommunications and Information exchange. Between systems. Formal description of 8072 in LOTOS |
Дата актуализации текста: | 01.12.2013 |
Дата издания: | 29.03.1994 |
Дата введения: | 01.07.1994 |
Дата последнего изменения: | 22.05.2013 |
Область применения: | Настоящий стандарт распространяется на транспортный уровень эталонной модели взаимосвязи открытых систем (ВОС) и определяет услуги транспортного уровня ВОС, определенные в ГОСТ 34.960, при помощи метода формализованного описания LOTOS, определенного в ИСО 8807.
Формальное определение типов данных и процессы, представленные в настоящем стандарте, могут использоваться для формализованного описания протоколов транспортного и сеансового уровней ВОС на языке LOTOS |
|