Home>AS/NZS 4199:1994

AS/NZS 4199:1994

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

standard published 01/01/1994 by Australian/New Zealand Standards

More details

Download

PDF AVAILABLE FORMATS IMMEDIATE DOWNLOAD
$71.86 tax incl.

$171.10 tax incl.

(price reduced by 58 %)

1000 items in stock

Full 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/1994File Size: 1 file , 2.6 MB