MSU Libraries
Digital Repository
Home
About
Collections
Selected filters
Subject: Fault-tolerant computing
×
Collection
Electronic Theses & Dissertations
4
Material Type
Theses
4
Language
English
4
Copyright Status
In Copyright
4
Subject
Computer algorithms
1
Computer programming
1
Computer programming--Quality control
1
Computer programs
1
Computer programs--Testing
1
Computer programs--Verification
1
Computer software--Reliability
1
Electronic digital computers--Reliability
2
Research
1
Revision control (Computer science)
1
Testing
1
Year
TO
Apply
Search results for
Trees
Showing 1 to 4 of 4 results
Results per page
20
50
100
Sort by
Most Relevant
Title (A-Z)
Title (Z-A)
Date (Newest)
Date (Oldest)
Most Recent
Least Relevant
Designing distance-preserving fault-tolerant topologies
Kocherlakota, Sitarama Swamy
Text (1996)
Part of
Electronic Theses & Dissertations
Mechanical verification of automatic synthesis of fault-tolerant programs
Bonakdarpour, Borzoo
Text (2004)
Part of
Electronic Theses & Dissertations
Automatic verification and revision of multitolerant programs
Chen, Jingshu
Text (2013)
Part of
Electronic Theses & Dissertations
Towards automated model revision for fault-tolerant systems
Abujarad, Fuad
Text (2010)
Part of
Electronic Theses & Dissertations
First
1
(current)
Last
