2005

page

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

Notice: as a result of the ongoing pandemic, the outdoor event scheduled for May 13-15 has been postponed to 2021.   

2020 CPS Challenge

"SoilScope -- Mars edition"

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