Search
Now showing items 1-1 of 1
A Formal design technique for real-time embedded systems development using duration calculus.
(IEEE Computer Society, 2004)
In this paper we present a syntactical approach
for the design of real-time embedded systems. The require-
ment of the system is specified as Duration Calculus formula
over continuous state variables. We model discretization ...