BS 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 de la conducta observacional.

Estándar No.

BS ISO 8807:1989

Fecha de publicación

1990

Organización

British Standards Institution (BSI)

Ultima versión

BS ISO 8807:1989

Alcance

Técnica de uso general para la descripción formal de sistemas distribuidos de procesamiento de información concurrente. En particular, las definiciones de servicio y las especificaciones de protocolo descritas en BS 6568 se pueden describir formalmente en LOTOS.

BS ISO 8807:1989 Historia

• 1990 BS 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 de la conducta observacional.

estándares y especificaciones