• BS DD 124:1985

BS DD 124:1985

Open Systems Interconnection: LOTOS, a formal description technique based on the temporal ordering of observational behaviour (ISO/DP 8807)

BSI Group, 09/30/1985

Publisher: BS

File Format: PDF

$166.00$332.74


Published:30/09/1985

Pages:50

File Size:1 file

Note:This product is unavailable in Ukraine, Russia, Belarus

LOTOS is a technique that is in general use for the formal description of distributed concurrent information processing systems. In particular the service definitions and protocol specifications of the layers of Open Systems Interconnection described in BS 6568 can be described formally in LOTOS.

All current amendments available at time of purchase are included with the purchase of this document.

More BS standard pdf

BS 8233:2014

BS 8233:2014

Guidance on sound insulation and noise reduction for buildings

$189.00 $378.46

BS PD ISO/TR 19244:2014

BS PD ISO/TR 19244:2014

Guidance on transition periods for standards developed by ISO/TC 84. Devices for administration of medicinal products and catheters

$76.00 $152.40

BS PD ISO/TR 16730-3:2013

BS PD ISO/TR 16730-3:2013

Fire safety engineering. Assessment, verification and validation of calculation methods-Example of a CFD model

$147.00 $294.64

BS PD ISO/TS 12901-2:2014

BS PD ISO/TS 12901-2:2014

Nanotechnologies. Occupational risk management applied to engineered nanomaterials-Use of the control banding approach

$147.00 $294.64