|
Sep 20, 2024
|
|
|
|
CS 632G - Safety-Critical Programming in Ada This course explores concepts of safety and security critical systems, the integrity of information in programs, and Ada language features designed to support safe and secure software development of programs upon which lives or significant property depend.
Prerequisite: or equivalent. Credits: 3 Note: This course is taught by the Truman Institute.
Add to Portfolio (opens a new window)
|
|