May 16, 2024  
2014-2015 Graduate Bulletin 
    
Catalog Navigation
  Bulletin Home
  The Graduate School
  All Programs
  Course Descriptions

  The Henry Kendall College of Arts and Sciences
  The Collins College of Business
  The College of Engineering and Natural Sciences
  Graduate Interdisciplinary Programs
  Combined Programs
  Joint-Degree Programs
  Certificate Programs
  College of Law
  Tulsa University Faculty of Community Medicine

  Academic Calendar
  Accreditation & Assessment
  University Administration
  About the University of Tulsa
  Academic Resources
  Tuition and Fees
  Campus Housing and Dining
  Student Financial Services
  Academic Advising and Support Services
  Special Opportunities, Facilities, and Services
  Student Rights, Freedoms, and Responsibilities
  Resident Faculty
  Campus Map
  My Bulletin
HELP
2014-2015 Graduate Bulletin [ARCHIVED BULLETIN]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Bulletin (opens a new window)

CS 7443 Information System Assurance (CE)

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


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Bulletin (opens a new window)