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: patrice OR chalin
1 result
Results
file
Using Symbolic Execution to Obtain Greater Automation & Flexibility for Checking Spark Software Contracts in Critical ES
Submitted by
Katie Dey
on Sat, 05/14/2011 - 6:41pm. Contributors:
John Hatcliff
David Hardin
Jason Belt
Patrice Chalin
11.32 MB
0 views
91 downloads
Download
Kansas State University
Concordia University
National HCSS Conference 2011
Presentation
Academia
2011 Slide Presentations
HCSS '11
HCSS'11 Theme: Cyber-Physical Systems
Current search
[×]
patrice
OR
chalin
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
Concordia University
(1)
Kansas State University
(1)
Content type
File
(1)
Document Type
Presentation
(1)
CPS Events
2011
(1)
Contributor(s)
David Hardin
(1)
Jason Belt
(1)
John Hatcliff
(1)
Patrice Chalin
(1)
Document Source
Academia
(1)
Author
Katie Dey
(1)
Date authored
2011
(1)
Keyword search
Search within results
More options
