Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

assurance

page

SCC Meeting 14 - Program Agenda

Submitted by Katie Dey on Thu, 07/30/2015 - 10:46am

file

CodeHawk: Sound Static Analysis for Proving the Absence of Memory Related Software Vulnerabilities

Submitted by drsmith17 on Thu, 04/23/2015 - 5:36pm. Contributor:

Douglas Smith

Presented as part of the 2015 HCSS conference.

Abstract:

file

Introducing Combinatorial Testing in a Large Organization: Pilot Project Experience Report

Submitted by rick.kuhn on Sat, 04/26/2014 - 7:17am. Contributors:

Abstract

file

Assurance-Directed Design of Cyber-Physical Systems

Submitted by Natarajan Shankar on Thu, 02/20/2014 - 11:07am. Contributors:

file

Scalable Component Based Model Revision with Separation of Concerns for Cyber Physical Systems

Submitted by sandeepkulkarni on Thu, 02/20/2014 - 11:06am. Contributor:

Sandeep S. Kulkarni

file

Tackling Uncertainty for Transportation Cyber-Physical Systems

Submitted by chengb on Thu, 02/20/2014 - 11:06am. Contributor:

Betty Cheng

file

DRAFT_CPS_workshop_agenda_03-01-2013.pdf

Submitted by wdnewho on Wed, 03/13/2013 - 12:49pm

event

Designed-in Cybersecurity for Cyber-Physical Systems - NIST/CSRA
Apr 04, 2013 8:00 am - Apr 05, 2013 3:00 pm EDT

Submitted by wdnewho on Wed, 03/13/2013 - 12:49pm

Terms of Use | ©2023. CPS-VO