ISO/IEC JTC 1/SC 7
| Projekta Nr. | ISO/IEC 15437:2001 |
|---|---|
| Nosaukums | <p>This International Standard defines the syntax and semantics of the enhanced LOTOS language (ISO 8807),</p> <p>named E-LOTOS. E-LOTOS is used for the formal description of the behavioural aspects of distributed and</p> <p>concurrent systems in general and in the area of open distributed processing in particular.</p> |
| Reģistrācijas numurs (WIID) | 27680 |
| Darbības sfēra | <p>This International Standard defines the syntax and semantics of the enhanced LOTOS language (ISO 8807),</p> <p>named E-LOTOS. E-LOTOS is used for the formal description of the behavioural aspects of distributed and</p> <p>concurrent systems in general and in the area of open distributed processing in particular.</p> |
| Statuss | Standarts spēkā |
| ICS grupa | 35.060 35.080 |