Sciweavers

EUROMICRO
2004
IEEE
13 years 7 months ago
Towards Predicting Real-Time Properties of a Component Assembly
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...
Egor Bondarev, Peter H. N. de With, Michel R. V. C...
ACSC
2002
IEEE
13 years 8 months ago
Specifying Mode Requirements of Embedded Systems
This paper presents a formal notation for specifying requirements of embedded systems which exhibit continuous, real-time behaviour and move through various modes under digital co...
G. Smith