K. Gary Chan

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
Complex reactive systems require specifying the relationship of inputs and outputs in the time domain. Typically, such descriptions involve complex sequences of events, often with explicit timing constraints, that combine to form the system's overall behavior. In addition, most reactive systems are highly concurrent and hierarchical. Investigating formal(More)
  • 1