Title
Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification.
Year
Venue
Field
2010
Int. J. Reconfig. Comp.
Formal equivalence checking,Computer science,Software security assurance,Flow (psychology),Parallel computing,Real-time computing,Computer hardware,Hardware modules,Reconfigurable computing,Embedded system
DocType
Volume
Citations 
Journal
2010
7
PageRank 
References 
Authors
0.51
22
3
Name
Order
Citations
PageRank
Stephanie Drzevitzky1422.42
Uwe Kastens240655.65
Marco Platzner31188116.17