Skip to main content
Cyber-Physical Systems Virtual Organization CPS-VO
Not a member? Forgot your password?

Hamburger Menu

  • Home
  • Tools
  • Projects
  • PI Meetings
  • Communities

Breadcrumb

  • Home /
  • /
  • DEKER- Decomposing Commodity OS Kernels For Verification

DEKER- Decomposing Commodity OS Kernels for Verification

Download
pdf
Tags:
    1527526
    2017
    SaTC Pi Meeting 2017
    Project Slides
License: CC-2.5
Submitted by Zvonimir Rakamaric on Tue, 12/13/2016 - 15:01
© 2024 Cyber-Physical Systems Virtual Organization