Reference number
ISO/IEC 15437:2001
ISO/IEC 15437:2001
© ISO 2024
International Standard
ISO/IEC 15437:2001
Information technology — Enhancements to LOTOS (E-LOTOS)
Edition 1
2001-08
2001-08
ISO/IEC 15437:2001
27680
Publicado
(Edición 1, 2001)
Esta publicación se revisó y confirmó por última vez en 2008.
Por lo tanto, esta versión es la actual.
Resumen
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.
Informaciones generales
-
Estado: PublicadoFecha de publicación: 2001-08Etapa: Norma Internacional confirmada [90.93]
-
Edición: 1Número de páginas: 187
-
Comité Técnico :ISO/IEC JTC 1/SC 7
- RSS actualizaciones
