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)

Ultima versión

KS X 3003-1993(2018)

KS X 3003-1993(2018) Historia

• 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