CSA Z243.101-89-CAN/CSA-1989 Системы обработки информации - Взаимосвязь открытых систем - LOTOS - Метод формального описания, основанный на временном упорядочении поведения наблюдений
Системы обработки информации - Взаимосвязь открытых систем - LOTOS - Метод формального описания, основанный на временном упорядочении поведения наблюдений