Найдено: 1
Overview ISO 8807:1989 - "Information processing systems - Open Systems Interconnection - LOTOS" - defines the LOTOS (Language Of Temporal Ordering Specification) formal description technique. The st…