Obond Dennis Obot Nyong

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
This thesis presents a resource based approach to model generation for performance characterization and correctness checking of large scale telecommunications networks. A notion called the timed automaton is proposed and then developed to encapsulate behaviours of networking equipment, system control policies and non-deterministic user behaviours. The(More)
  • 1