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)
  • 1