Kar-Wing Edward Lor

Learn More
SUMMARY This paper introduces formal definitions to system requirements as the basis of design automation. Semi-formal requirements for real-time systems are expressed in the form of system verification diagrams, and the graph model of behaviour represents the design, capturing three aspects of system behaviour— control, data and interpretation. The design(More)
The objective of this research is to investigate the common link in diagnostics of different networks. Are there any underlying common expertise and strategies that are applicable to various connection-based networks? If so, how is the general expertise related to network-specific expertise? Why is it significant to identify and figure out the general(More)
  • 1