DFT
2003
IEEE
15 years 8 months ago
2003
IEEE
Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In this paper, a software-based approach for developing safety-critical