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
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
NASA Ames Research Center
file
Credible Autocoding and Verification of Embedded Software (CrAVES)
Submitted by feron on Tue, 12/11/2012 - 3:33pm. Contributors:
Eric Féron
Arnaud Venet
CPS Domains
Medical Devices
Automotive
Networked Control
Avionics
Embedded Software
Concurrency and Timing
Control
Systems Engineering
Modeling
Health Care
Transportation
CPS Technologies
Foundations
Georgia Institute of Technology
NASA Ames Research Center
National CPS PI Meeting 2012
2012
Session 2: Technology for CPS
Academia
Presentation
file
Practical Model Checking
Submitted by brad_martin on Tue, 09/13/2011 - 4:36pm. Contributor:
John Penix
Presented as part of the
2002 HCSS conference
.
NASA Ames Research Center
Presentation
HCSS '02
HCSS 2002
file
Using Java PathFinder for Program Understanding and Defect Visualization
Submitted by TimTh on Sun, 08/07/2011 - 8:39am. Contributor:
Peter Mehlitz
NASA Ames Research Center
National HCSS Conference 2010
Presentation
HCSS '10
HCSS 2010
