Liu Xiaoxiao

  • Citations Per Year
Learn More
Current practice of network architecture relies on relatively informal methods which can not provide a precise and unambiguous description and limits the potential for fully exploiting and verifying network design. To address these problems, the paper proposes a formal modeling method based on entity, which provides a unified formal abstraction of network(More)
  • 1