Pete Bradley

Learn More
The complexities of real-time systems are such that it is often thought necessary to give a formal justi-cation of their correctness, especially if they are to be used in a safety-critical environment. In this paper we describe our work on a formally based design method for real-time systems which allows the timing aspects of a concurrent system to be(More)
  • 1