Name
Title | ||
|---|---|---|
Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings |
Year | Venue | Field |
|---|---|---|
2001 | CHARME | Formal equivalence checking,Functional verification,Computer science,Intelligent verification,Parallel computing,Verification,Runtime verification,Computer hardware,High-level verification,Formal verification,Symbolic trajectory evaluation |
DocType | Volume | ISBN |
Conference | 2144 | isbn |
Citations | PageRank | References |
25 | 1.96 | 0 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Tiziana Margaria | 1 | 2098 | 247.17 |
| Thomas F. Melham | 2 | 384 | 35.63 |