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

Buy this standard

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

Abstract Preview

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
Edition : 1

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

Software and systems engineering
ICS :

35.060

Languages used in information technology

35.080

Software

This standard contributes to the following Sustainable Development Goal:

Industry, Innovation and Infrastructure

Buy this standard

	Format	Language
std 1 198	PDF
std 2 198	Paper

CHF198

Life cycle

Now

Published

ISO/IEC 15437:2001

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

Got a question?

Check out our FAQs

Customer care

+41 22 749 08 88

customerservice@iso.org

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

Keep up to date with ISO

Sign up to our newsletter for the latest news, views and product information.