Login / Signup

Formal Description of OSI Management Information Structure as a Prerequisite for Formal Specifications of TMN Interfaces.

Joaquín KellerOlivier Dubuisson
Published in: IS&N (1994)
Keyphrases
  • formal specification
  • structural information
  • information systems
  • information sources
  • open source
  • first order logic
  • reference model