MSU Libraries
Digital Repository
Home
About
Collections
Selected facets
Creator: Bonakdarpour, Borzoo
×
Collection
Electronic Theses & Dissertations
2
Material Type
Theses
2
Language
English
2
Copyright Status
In Copyright
2
Subject
Computer algorithms
1
Computer programming
1
Computer programs
1
Electronic data processing--Distributed processing
1
Electronic digital computers--Reliability
1
Fault-tolerant computing
2
Real-time data processing
1
Search results
Showing 1 to 2 of 2 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
Mechanical verification of automatic synthesis of fault-tolerant programs
Bonakdarpour, Borzoo
Text (2004)
Part of
Electronic Theses & Dissertations
Automated revision of distributed and real-time programs
Bonakdarpour, Borzoo
Text (2009)
Part of
Electronic Theses & Dissertations
First
1
(current)
Last