ISO/IEC 15437:2001

Published (Edition 1, 2001)

This standard was last reviewed and confirmed in 2008. Therefore this version remains current.

CHF 216

Convert Swiss francs (CHF) to your currency

Abstract

This International Standard defines the syntax and semantics of the enhanced LOTOS language (ISO 8807),

named E-LOTOS. E-LOTOS is used for the formal description of the behavioural aspects of distributed and

concurrent systems in general and in the area of open distributed processing in particular.

This standard contributes to the following Sustainable Development Goal

Check out our FAQs

Customer care

+41 22 749 08 88

Opening hours:
Monday to Friday - 09:00-12:00, 14:00-17:00 (UTC+1)