AS/NZS 4199:1994
Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour

Standard No.

AS/NZS 4199:1994

Release Date

1994

Published By

Standard Association of Australia （SAA）

Latest

AS/NZS 4199:1994

Scope

Defines a formal description technique based on the assumption that systems can be described by defining the temporal relation between events in the externally observable behaviour of the system, thus resulting in a system description that is complete, c

AS/NZS 4199:1994 history

• 1994 AS/NZS 4199:1994 Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour