Purchase the full subscription package now and enjoy a 40% discount, along with free updates for future editions.
AS/NZS 4199:1994
$275.61
Information processing systems — Open Systems Interconnection — LOTOS — A formal description technique based on the temporal ordering of observational behaviour
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, consistent, concise, unambiguous and precise. This Standard is identical with and has been reproduced from ISO 8807:1989.
