KS C 5917-1993
Sistema de procesamiento de información-interconexión de sistemas abiertos-LOTOS-Una técnica de descripción formal basada en el ordenamiento temporal del comportamiento observacional

Estándar No.

KS C 5917-1993

Fecha de publicación

1993

Organización

Korean Agency for Technology and Standards (KATS)

Estado

Ultima versión

KS C 5917-1993

KS C 5917-1993 Historia

• 1993 KS C 5917-1993 Sistema de procesamiento de información-interconexión de sistemas abiertos-LOTOS-Una técnica de descripción formal basada en el ordenamiento temporal del comportamiento observacional