Results 251 to 251 of about 1,881,310 (251)
Some of the next articles are maybe not open access.
Proof-Carrying Hardware: Runtime Formal Verification for Secure Dynamic Reconfiguration
2010
exaly
computer science
mathematics
computer science - logic in computer science
fos: computer and information sciences
logic in computer science cs.lo
theorem proving deduction, resolution, etc.
formalization
16. peace & justice
engineering
previous
24
25
26
Home
-
About
-
Disclaimer
-
Privacy
