11 search results - page 3 / 3 » Towards verification-based development of in-vehicle safety ... |
ADAEUROPE
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...