CSA Z243.101-89-CAN/CSA-1989
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 de observación

Estándar No.

CSA Z243.101-89-CAN/CSA-1989

Fecha de publicación

1989

Organización

Canadian Standards Association (CSA)

Estado

Alcance

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 de observación