Search
Now showing items 1-1 of 1
Deriving real-time programs from duration calculus specifications.
(Springer-Verlag, 2001)
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 ...