KS C 5916-1993
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 de estado extendido

Estándar No.
KS C 5916-1993
Fecha de publicación
1993
Organización
Korean Agency for Technology and Standards (KATS)
Estado
Ultima versión
KS C 5916-1993
 

KS C 5916-1993 Historia

  • 1993 KS C 5916-1993 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 de estado extendido

estándares y especificaciones

SIS SS-ISO 9074:1989 en un modelo de transición de estado extendido CAN/CSA-Z243.102-1990 en un modelo de transición de estado extendido CAN/CSA Z243.102-1990(R1996 de información - Interconexión ISO 9074:1989/Amd 1:1993 en un modelo de transición de estado extendido ISO 9074:1989/AMD1:1993 de información - Interconexión 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 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


© 2025 Reservados todos los derechos.