78 search results - page 1 / 16 » Verification of Temporal Properties in Automotive Embedded S... |
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
DATE
2009
IEEE
13 years 11 months ago
2009
IEEE
COMPSAC
2007
IEEE
13 years 8 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
ICSE
2005
IEEE-ACM
14 years 4 months ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
DAC
2007
ACM
13 years 8 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...