|
Jan 15, 2025
|
|
|
|
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)
|
|