Search BSI Knowledge
Cookie Settings
DD 124:1985 | 30 Sep 1985 | BSI Knowledge
Standard
Withdrawn
DD 124:1985
Open Systems Interconnection: LOTOS, a formal description technique based on the temporal ordering of observational behaviour (ISO/DP 8807)
Published:
30 Sep 1985
•
Withdrawn:
15 Feb 1989
Overview
Preview
References
History
Visit the preview section for more information
Product Details
Descriptors
Metalanguages
Syntax
Systemology
Semantics
Open systems interconnection
Definitions
Computer technology
Verification
ICS Codes
35.100.01 Open systems interconnection in general
Committee
ICT/-/1
International relationships
—
ISBN
0 580 14700 2
Publisher
BSI