Gongjie Zhang

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
With the process of non-functional properties research on real-time systems, resource estimation and analysis of real-time systems become a hotspot. Process Algebra is a formal method fitting for analyzing the functional properties of real-time systems, but it can not analyze the resource properties. Resource Timed Process Algebra (RTPA) proposed in this(More)
  • 1