11 search results - page 3 / 3 » Taming the component timing: A CBD methodology for real-time... |
SOFSEM
2007
Springer
13 years 11 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...