AS/NZS 4199

AS/NZS 4199

$90.00

Information processing systems – Open Systems Interconnection – LOTOS – A formal description technique based on the temporal ordering of observational behaviour

Published by Publication Date Number of Pages
AS/NZS 07/18/1994 136
PDF FormatPDF FormatMulti-User-AccessMulti-User AccessPrintablePrintableOnline downloadOnline Download
Category:

Description

AS/NZS 4199 – 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.

Product Details

Edition:
1st
Published:
07/18/1994
ISBN(s):
0726289418
Number of Pages:
136
File Size:
1 file , 2.6 MB
Product Code(s):
10104863, 10104850, 10104801
Note:
This product is unavailable in Ukraine, Russia, Belarus

In Demand Now