Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
FPL
/
Paper
Proof-Carrying Hardware: Runtime Formal Verification for Secure Dynamic Reconfiguration.
Stephanie Drzevitzky
Venue
B
FPL
Year
2010
Proceedings
FPL
DBLP record
conf/fpl/Drzevitzky10 ↗
Browse the full
FPL paper archive
.