EUROMICRO
2004
IEEE
14 years 3 months ago
2004
IEEE
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...
ACSC
2002
IEEE
14 years 4 months ago
2002
IEEE
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...