ISO/IEC 8807
Information Processing Systems - Open Systems Interconnection - LOTOS - a Formal Description Technique Based on the Temporal Ordering of Observational Behaviour
active, Most Current
Buy Now
| Organization: | ISO |
| Publication Date: | 15 February 1989 |
| Status: | active |
| Page Count: | 147 |
| ICS Code (Open systems interconnection in general): | 35.100.01 |
| ICS Code (Languages used in information technology): | 35.060 |
Document History
ISO/IEC 8807
February 15, 1989
Information Processing Systems - Open Systems Interconnection - LOTOS - a Formal Description Technique Based on the Temporal Ordering of Observational Behaviour
A description is not available for this item.