Sale!

AS/NZS 4199:1994

$64.17

Information processing systems – Open Systems Interconnection – LOTOS – A formal description technique based on the temporal ordering of observational behaviour
standard by Australian/New Zealand Standards, 01/01/1994

Category:

Description

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.

Product Details

Published:
01/01/1994
File Size:
1 file , 2.6 MB