Information Processing Systems - Open Systems Interconnection - LOTOS - a Formal Description Technique Based on the Temporal Ordering of Observational Behaviour
| Accuris | |
|---|---|
| Product Category | Standards and Technical Documents |
| Product Number | 8807 |
| Product Name | Information Processing Systems - Open Systems Interconnection - LOTOS - a Formal Description Technique Based on the Temporal Ordering of Observational Behaviour |