2010 11th International Workshop on Microprocessor Test and Verification
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By IEEE

9781612842875
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Fault Grading Methodology for Software-Based Self-Test Programs in Systems-on-Chip

2010 ◽  
Author(s):  
O. Ballan ◽  
P. Bernardi ◽  
G. Fontana ◽  
M. Grosso ◽  
E. Sanchez
Keyword(s):  
Systems On Chip ◽  
Self Test ◽  
On Chip ◽  
Fault Grading

Bounded Model Checking of Incomplete Networks of Timed Automata

2010 ◽  
Author(s):  
Christian Miller ◽  
Karina Gitina ◽  
Christoph Scholl ◽  
Bernd Becker
Keyword(s):  
Model Checking ◽  
Timed Automata ◽  
Bounded Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document