Codes et normes - Achat
CAN/CSA-ISO/IEC 15437-02 (R2011)
Information Technology - Enhancements to LOTOS (E-LOTOS) (Adopted ISO/IEC 15437:2001, first edition, 2001-08-15)
SKU: 2415946
Publié par CSA Group
Année de publication 2002
Confirmé(e) en 2011
204 pages
détails du produit
Scope
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.
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.