2005

page

Visible to the public 2021 NSF Student CPS Challenge -- Lunar Lander ExoCam -- Earth Analog

 

2021 CPS Challenge

"Lunar Lander ExoCam -- Earth Analog"

 

page

Visible to the public 2020 NSF Student CPS Challenge -- Mars edition

2020 CPS Challenge

"SoilScope -- Mars edition"

Virtual competition on CPS-VO: May 15-June 15, 2020

 

page

Visible to the public Intrusion Tolerance 2015

 

 
SoS Logo

Intrusion Tolerance

2015

 

page

Visible to the public Protocol Verification 2015

 

 
SoS Logo

Protocol Verification

2015

file

Visible to the public Strategic vision in certifiable software: Cross-domain commonalities