Kambiz Homayounfar

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 layers 2 and 3 of mobile broadband protocols are complex specifications whose verification is notoriously hard. Informal methods for protocol verification are subject to misinterpretations and easily lead to bugs and deadlocks. Formal methods from the field of computational logic are not widely known in wireless sciences. This paper presents a formal(More)
  • 1