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

Technologies de l'information — Interconnexion de systèmes ouverts — Structure des informations de gestion — Partie 4: Directives pour la définition des objets gérés — Amendement 3: Directives pour l'utilisation du langage Z dans la formalisation du comportement des objets gérés.