KS X 3003-1993(2018)
Interconexión de Sistemas Abiertos - Lotus - Técnicas de descripción formal basadas en relaciones temporales del comportamiento observado

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

KS X 3003-1993(2018) 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

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 AS/NZS 4199:1994 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 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(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 SIS SS-ISO 9074:1989 Sistemas de procesamiento de información - Interconexión de sistemas abiertos - Estelle - Una técnica de descripción formal basada en un modelo de transición CAN/CSA Z243.102-1990(R1996 Sistemas de procesamiento de información - Interconexión de sistemas abiertos - Estelle - Una técnica de descripción formal basada en un modelo de transición


© 2025 Reservados todos los derechos.