Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Software Certification Consortium
Home
Agenda
Meetings
Members
Recent Activity
Files
CPS-VO
»
Safety
»
Software Certification Consortium
» RECENT ACTIVITY
Recent Activity
Recent Posts
Node: Type
Biblio
Event
File
Forum topic
Group Project
NSF CPS Project
News Item
Online Meeting
Page
Panel
Tearline
Video
Webform
Wiki page
file
SCC-Foreign FDA Visitors Pass request.doc
Submitted by pjoannou on Sat, 12/08/2012 - 10:45am
Meeting #10
file
Understanding Evidence: Lessons from the GPCA Case Study
Submitted by pjoannou on Sun, 01/13/2013 - 6:33pm. Contributor:
Oleg Sokolsky
Presentation
Meeting #10
file
5 Criteria for Credibility
Submitted by pjoannou on Sun, 01/13/2013 - 6:37pm. Contributor:
Daniel Jackson
Presentation
Meeting #10
file
Evidence that the Operational and Maintenance Requirements and Constraints are Identified Correctly and Satisfied
Submitted by pjoannou on Mon, 01/14/2013 - 1:42pm. Contributor:
Norbert Carte
Presentation
Meeting #10
file
Finally: Practical Formal Verification of Large Software Systems
Submitted by pjoannou on Tue, 01/15/2013 - 7:40am. Contributor:
John C. Knight
Presentation
Meeting #10
file
Software Assurance Tools to Improve Evidence Strength
Submitted by pjoannou on Thu, 01/31/2013 - 5:33pm. Contributor:
Elizabeth Fong
Presentation
Meeting #10
file
SCC 11 Agenda
Submitted by pjoannou on Sat, 03/09/2013 - 5:44pm
Meeting #11
event
SCC Meeting #11
May 05, 2013 12:00 am - May 06, 2013 12:00 am EDT
Submitted by Anonymous on Thu, 05/02/2013 - 4:25pm
Competencies and Education Required for Development and Certification of Systems Containing Software
Certification
Validation and Verification
Education
Foundations
Announcement
Conference
« first
‹ previous
…
7
8
9
10
11
12
13
14
15