标准摘要
当前记录暂无摘要。
英文名称Information technology - Open Systems Interconnection - Structure of management information - Part 4: Guidelines for the definition of managed objects - Amendment 3: Guidelines for the use of Z in formalizing the behaviour of managed objects