Apr 18, 2021  
2017-2018 Undergraduate Bulletin 
    
2017-2018 Undergraduate Bulletin [ARCHIVED BULLETIN]

Add to Bulletin (opens a new window)

CS 5443 Information System Assurance


(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. Prerequisite: CS 4153 .



Add to Bulletin (opens a new window)