NEN ISO 8807 : 1989
Current
Current
The latest, up-to-date edition.
INFORMATION PROCESSING SYSTEMS - OPEN SYSTEMS INTERCONNECTION - LOTOS - A FORMAL DESCRIPTION TECHNIQUE BASED ON THE TEMPORAL ORDERING OF OBSERVATIONAL BEHAVIOUR
Published date
12-01-2013
Publisher
Specifies the syntax and semantics of the Formal Description Technique LOTOS. It can also be applied for the formal description of other distributed systems, such as telephone switching networks.
Sorry this product is not available in your region.
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.