KS X 3003-1993
SISTEMAS DE PROCESAMIENTO DE INFORMACIÓN - INTERCONEXIÓN DE SISTEMAS ABIERTOS - LOTOS - UNA TÉCNICA DE DESCRIPCIÓN FORMAL BASADA EN LA ORDENACIÓN TEMPORAL DEL COMPORTAMIENTO DE OBSERVACIÓN

Estándar No.
KS X 3003-1993
Fecha de publicación
1993
Organización
Korean Agency for Technology and Standards (KATS)
Estado
Remplazado por
KS X 3003-1993(2018)
Ultima versión
KS X 3003-2023
 

KS X 3003-1993 Historia

  • 2023 KS X 3003-2023
  • 0000 KS X 3003-1993(2018)
  • 1993 KS X 3003-1993 SISTEMAS DE PROCESAMIENTO DE INFORMACIÓN - INTERCONEXIÓN DE SISTEMAS ABIERTOS - LOTOS - UNA TÉCNICA DE DESCRIPCIÓN FORMAL BASADA EN LA ORDENACIÓN TEMPORAL DEL COMPORTAMIENTO DE OBSERVACIÓN

Temas especiales sobre estándares y normas

formulario técnico

estándares y especificaciones

CSA Z243.101-89-CAN/CSA-1989 Sistemas de procesamiento de información - Interconexión de sistemas abiertos - LOTOS - Una técnica de descripción formal basada en el ordenamiento temporal BS DD 124:1985 Interconexión de sistemas abiertos: LOTOS, una técnica de descripción formal basada en el ordenamiento temporal del comportamiento observacional (ISO/DP 8807 SIS SS-ISO 8807:1989 Sistemas de procesamiento de información - Interconexión de sistemas abiertos - LOTOS - Una técnica de descripción formal basada en el ordenamiento temporal CAN/CSA Z243.101-1989(R2023 Sistemas de procesamiento de información - Interconexión de sistemas abiertos - LOTOS - Una técnica de descripción formal basada en el ordenamiento temporal GSO ISO 8807:2011 Sistemas de procesamiento de información - Interconexión de sistemas abiertos - - LOTOS - Una técnica de descripción formal basada en el ordenamiento temporal ISO 8807:1989 Sistemas de procesamiento de información; Sistemas abiertos de interconexión; LOTO; una técnica de descripción formal basada en el ordenamiento temporal CAN/CSA-Z243.101-1989(R2013 Sistemas de procesamiento de información - Interconexión de sistemas abiertos - LOTOS - Una técnica de descripción formal basada en el ordenamiento temporal ISO/IEC 15437:2001 Tecnología de la información: mejoras a LOTOS (E-LOTOS BS ISO/IEC 15437:2001 Tecnología de la información: mejoras a LOTOS (E-LOTOS


© 2025 Reservados todos los derechos.