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 | BS ISO 8807 |
| Product Name | Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour |
