ISO/IEC 15437:2001—Information technology—Enhancements to LOTOS (E-LOTOS)¶
International Organization for Standardization. (2001). ISO/IEC 15437:2001—Information technology—Enhancements to LOTOS (E-LOTOS).
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Language of Temporal Ordering Specification
- It is also not E-LOTOS, ISO/IEC 15437:2001, which enhances LOTOS, nor LNT, a later language designed as a more approachable replacement and translated into LOTOS within CADP.
This sourceGoverning E-LOTOS successor standard and scope.
- It is also not E-LOTOS, ISO/IEC 15437:2001, which enhances LOTOS, nor LNT, a later language designed as a more approachable replacement and translated into LOTOS within CADP.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:162797150625 · see in the full table