Standard

ISO/IEC 15437:2001

Sep 2001 Published

Corrigenda and amendments are sold separately. VAT will be charged at the prevailing rate.

Language English

Services Read online + Print/Download €283.61

There are no extended editions available for this standard

There are no available corrigenda or amendments for this standard. Any future corrigenda and amendments will be added automatically for subscribers.

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.

Document information

Standard from ISO
Published: 6 September 2001
Edition: 1
Document type: IS
ISBN:

Publisher ISO
Distributor ISO
ICS 35.060
ICS 35.080

ISO/IEC 15437:2001

Create subscription

Benefits of a subscription:

Abstract

Document information

Create subscription

Benefits of a subscription:

Extended editions Extended editions (0)

Version history Related corrigenda and amendments (0)

Abstract

Document information