UNI ISO 8807:1993
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.

UNI ISO 8807:1993

Fecha de publicación

1993

Organización

Ente Nazionale Italiano di Unificazione

Ultima versión

UNI ISO 8807:1993

Alcance

Versión en inglés de la norma internacional ISO 8807 (edición de febrero de 1989), adoptada en su versión original.

UNI ISO 8807:1993 Historia

• 1993 UNI ISO 8807:1993 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ándares y especificaciones