Dora Atanasova Marinska

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
The paper describes a formal approach to specification of Open Service Access (OSA) gateway that supports open interfaces for charging and quality of service management and Diameter protocol. The gateway has to implement two mutually synchronized finite state machines, one representing the application view on the charging session and another one for the(More)
  • 1