Sale!
AS/NZS 4199:1994 PDF
$95.00
Information processing systems – Open Systems Interconnection – LOTOS – A formal description technique based on the temporal ordering of observational behaviour
standard by Standards Australia / Standards New Zealand, 01/01/1994
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
- Edition:
- 1st
- Published:
- 01/01/1994
- ISBN(s):
- 0726289418
- Number of Pages:
- 136
- File Size:
- 1 file , 2.6 MB
- Product Code(s):
- 10104863, 10104850, 10104801