6 search results - page 1 / 2 » hase 2005 |
HASE
2005
IEEE
13 years 11 months ago
2005
IEEE
HASE
2005
IEEE
13 years 11 months ago
2005
IEEE
ISCAS
2005
IEEE
13 years 11 months ago
2005
IEEE
HASE
2005
IEEE
13 years 11 months ago
2005
IEEE
Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional ...
HASE
2005
IEEE
13 years 11 months ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...