Now showing items 1-1 of 1
From continuous specification to discrete design.
(Kluwer Academic Publisher, 2000)
The paper presents a syntactical approach to designing real-time distributed systems that can handle both continuous time and discrete time models in a uniform logical framework. We approximate continuous state variables by ...