Каталог стандартов

+7 (495) 223-46-76 +7 (812) 309-78-59
inform@normdocs.ru
О компании Стандарты Контакты Заказать стандарт
СтандартыISO

ISO 8807:1989

Действует
Information processing systems; open systems interconnection; LOTOS; a formal description technique based on the temporal ordering of observational behaviour — 152 стр.
ОписаниеИзмененияСсылкиВерсии

На этот документ ссылаются

BS ISO/IEC TR 14369:1999
Заменен
Information technology. Programming languages, their environments and system software interfaces. Guidelines for the preparation of Language-Independent Service Specifications (LISS) — 68 стр.
BS EN 61508-7:2010
Действует
Functional safety of electrical/electronic/ programmable electronic safety related systems. Overview of techniques and measures — 146 стр.
BS ISO/IEC 15437:2001
Действует
Information technology. Enhancements to LOTOS (E-LOTOS) — 202 стр.
PD ISO/IEC TR 14369:2014
Заменен
Information technology. Programming languages, their environments and system software interfaces. Guidelines for the preparation of Language-Independent Service Specifications (LISS) — 74 стр.
PD ISO/IEC TR 14369:2018
Действует
Information technology. Programming languages, their environments and system software interfaces. Guidelines for the preparation of language-independent service specifications (LISS) — 76 стр.