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 del comportamiento observacional

Estándar No.

AS/NZS 4199:1994

Fecha de publicación

1994

Organización

Standard Association of Australia （SAA）

Ultima versión

AS/NZS 4199:1994

Alcance

Define una técnica de descripción formal basada en el supuesto de que los sistemas pueden describirse definiendo la relación temporal entre eventos en el comportamiento observable externamente del sistema, lo que resulta en una descripción del sistema completa.

AS/NZS 4199:1994 Historia

• 1994 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 del comportamiento observacional