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: peter OR kazanzides, JHU-APL, National HCSS Conference 2011
1 result
Results
file
Applying Formal Methods to Prove Correctness of Surgical Robot Software
Submitted by
Katie Dey
on Sat, 05/14/2011 - 6:03pm. Contributors:
Yanni Kouskoulas
Peter Kazanzides
2.5 MB
0 views
75 downloads
Download
Johns Hopkins University
JHU-APL
National HCSS Conference 2011
Presentation
Academia
2011 Slide Presentations
HCSS '11
HCSS'11 Theme: Cyber-Physical Systems
Current search
[×]
peter
OR
kazanzides
[×]
Keywords
: JHU-APL
[×]
CPS Events
:
2011
» National HCSS Conference 2011
Guided search
Click a term to refine your current search.
Group
2011 HCSS Conference Program Committee
(1)
2013 High Confidence Software and Systems Conference
(1)
Keywords
:
all
» JHU-APL
Content type
File
(1)
Document Type
Presentation
(1)
CPS Events
:
all
»
2011
» National HCSS Conference 2011
Contributor(s)
Peter Kazanzides
(1)
Yanni Kouskoulas
(1)
Document Source
Academia
(1)
Author
Katie Dey
(1)
Date authored
2011
(1)
Keyword search
Search within results
More options
