Amendment 3 - Information technology -- Open Systems Interconnection -- Structure of management information -- Part 4: Guidelines for the definition of managed objects - Guidelines for the use of Z in formalizing the behaviour of managed objects
修改件3—信息技术—开放系统互连—管理信息结构—第4部分:被管理对象的定义指南—在被管理对象行为形式化中使用Z的指南