ISO/IEC 15437:2001
Current
The latest, up-to-date edition.
Information technology — Enhancements to LOTOS (E-LOTOS)
Hardcopy , PDF
English
06-09-2001
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 |
Access your standards online with a subscription
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.