Michigan State University Home
  • MSU Libraries
  • Digital Repository
  • Home
  • About
  • Collections
Selected filters
  • Subject: Computer software--Reliability
    ×
  • Electronic Theses & Dissertations
    3
  • Theses
    3
  • English
    3
  • In Copyright
    3
  • Computer programming
    1
  • Computer programming--Quality control
    1
  • Computer programs--Testing
    1
  • Computer software--Testing
    1
  • Cooperating objects (Computer systems)
    1
  • Debugging in computer science
    1
  • Fault-tolerant computing
    1
  • Parallel processing (Electronic computers)
    1
  • Reliability
    1
  • Research
    1
  • Testing
    1
Year
TO

Search results for Physical Review

Showing 1 to 3 of 3 results
  • Using formal analysis and search-based techniques to address the assurance of cyber-physical systems at the requirements level

    DeVries, Byron
    Text (2017)
    Part of Electronic Theses & Dissertations
    In Copyright
  • Towards automated model revision for fault-tolerant systems

    Abujarad, Fuad
    Text (2010)
    Part of Electronic Theses & Dissertations
    In Copyright
  • Successful strategies for debugging concurrent software : an empirical investigation

    Fleming, Scott Douglas
    Text (2009)
    Part of Electronic Theses & Dissertations
    In Copyright
  • First
  • 1(current)
  • Last
  • Call us: (800) 500-1554
  • Contact Information
  • Site Map
  • Privacy Statement
  • Site Accessibility
  • Call MSU: (517) 355-1855
  • Visit: msu.edu
  • Notice of Nondiscrimination
  • SPARTANS WILL.
  • © Michigan State University
Michigan State University Wordmark