Active
Standard
Most Recent
ISO/IEC 15437:2001
Information technology - Enhancements to LOTOS (E-LOTOS)
Preview
Summary
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.
Technical characteristics
| Publisher | International Electrotechnical Commission (IEC) |
| Publication Date | 09/06/2001 |
| Release Date | 09/06/2001 |
| Edition | 1 |
| Page Count | 187 |
| EAN | --- |
| ISBN | --- |
| Weight (in grams) | --- |
No products.
Previous versions
06/09/2001
Active
Most Recent
No products.