The aim of this text is to present research efforts that have gone into, or are going on in, the systematic design of real-time programs. It does this by examining such areas as the characteristics of real-time/reactive programs, reactive programming languages, verification and refinements.
The aim of this text is to present research efforts that have gone into, or are going on in, the systematic design of real-time programs. It does this...
