|
Apr 30, 2024
|
|
|
|
CS 7443 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 validation, verification, and certification. Prerequisites: CS 4153.
Add to Bulletin (opens a new window)
|
|