Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
My Groups
Join a Group
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Taxonomic Search: James Hook
2 results
Results
file
Trustworthy Kernel Separation through Monads
Submitted by
adyson
on Mon, 02/20/2012 - 3:43pm. Contributors:
Peter White
James Hook
289.58 KB
0 views
64 downloads
Download
OGI School of Science and Engineering at OHSU
Presentation
Academia
Peter White
James Hook
HCSS '02
file
Programatica: Project Summary
Submitted by
adyson
on Mon, 02/20/2012 - 3:37pm. Contributor:
James Hook
73.36 KB
0 views
63 downloads
Download
OGI School of Science and Engineerring at OHSU
Presentation
Academia
James Hook
HCSS '02
Current search
[×]
Contributor(s)
: James Hook
Guided search
Click a term to refine your current search.
Group
2013 High Confidence Software and Systems Conference
(2)
Keywords
OGI School of Science and Engineering at OHSU
(1)
OGI School of Science and Engineerring at OHSU
(1)
Content type
File
(2)
Document Type
Presentation
(2)
Contributor(s)
:
all
» James Hook
Document Source
Academia
(2)
Author
adyson
(2)
Date authored
2012
(2)
Keyword search
Search within results
More options
