Nov 23, 2024  
2015-2016 Graduate Bulletin 
    
2015-2016 Graduate Bulletin [ARCHIVED BULLETIN]

Add to Bulletin (opens a new window)

CS 7443 Information System Assurance (CE)

(3 hours)
Design and analysis methods for high assurance information systems. Safety, reliability, and security. Specification of mission critical system properties. Software and hardware validation, verification, and certification. Prerequisites: CS 4153.



Add to Bulletin (opens a new window)