Eusebio Fernández

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Network resources in 0S1 network management are modeled using managed objects. These objects are specified by the semi-formal language GDMO that describes their behaviour (using natural language) and static structures. This drawback in the behaviour specification can be solved using formal methods. A mapping method from GDMO information models to SDL-92(More)
  • 1