Sciweavers

ARTS
1997
Springer

Refinement of Time

14 years 3 months ago
Refinement of Time
We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, discrete streams with discrete or with continuous time, and dense streams with continuous time. We introduce a notion of a timed system component and formulate requirements for the time flow. We show how to compose timed systems in a modular way. We
Manfred Broy
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1997
Where ARTS
Authors Manfred Broy
Comments (0)