ISO/IEC 15437:2001 - Information technology — Enhancements to LOTOS (E-LOTOS)

Published (Edition 1, 2001)

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

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.

General information

Status
: Published

Publication date
: 2001-08

Stage
: International Standard confirmed [90.93]
Edition
: 1

Number of pages
: 187
Technical Committee :
ISO/IEC JTC 1/SC 7

ICS :
35.060 35.080
RSS updates

Life cycle

Now

Published

ISO/IEC 15437:2001

A standard is reviewed every 5 years
Stage: 90.93 (Confirmed)

This standard contributes to the following Sustainable Development Goal

Industry, Innovation and Infrastructure

Got a question?

Check out our Help and Support