ISO/IEC 15437:2001
Current
Current
The latest, up-to-date edition.
Information technology — Enhancements to LOTOS (E-LOTOS)
Available format(s)
Hardcopy , PDF
Language(s)
English
Published date
06-09-2001
€219.00
Excluding VAT
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.
| Committee |
ISO/IEC JTC 1/SC 7
|
| DocumentType |
Standard
|
| Pages |
187
|
| PublisherName |
International Organization for Standardization
|
| Status |
Current
|
| Standards | Relationship |
| NEN ISO/IEC 15437 : 2001 | Identical |
| AS/NZS ISO/IEC 15437:2003 | Identical |
| BS ISO/IEC 15437:2001 | Identical |
| CAN/CSA-ISO/IEC 15437-02 (R2011) | Identical |
| BS ISO 2173:2003 | Identical |
Summarise