Now showing items 1-1 of 1
Deriving Real-Time Programs from Duration Calculus Specifications
(Technical Report 222, UNU/IIST, P.O. Box 3058, 2000)
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach is to model discretization at state ...