Software Reliability and Safety   [Archived Catalog]
2018-2019 Graduate Studies Bulletin
   
Print-Friendly Page (opens a new window)

CSCE 846 - Software Reliability and Safety

Credits: 3

Reliability and safety of computer-intensive systems; software reliability models and analysis; operational profiles; hazard analysis using fault trees and event trees; formal verification of safety-critical systems.

Prerequisites: STAT 509 or 510 or 511

Note: Not auditable.



Print-Friendly Page (opens a new window)
Close Window
   
All bulletins © 2024 Columbia Campus.
Powered by the Acalog™ Academic Catalog Management System™ (ACMS™).

Mobile Site.