MSU Libraries
Digital Repository
Home
About
Collections
Selected filters
Thesis Advisor: Cheng, Betty H. C.
×
Collection
Electronic Theses & Dissertations
2
Material Type
Theses
2
Language
English
2
Copyright Status
In Copyright
2
Subject
Adaptive computing systems
1
Computer software--Reliability
1
Cooperating objects (Computer systems)
1
Reliability
1
Year
TO
Apply
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
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
Mitigating uncertainty at design time and run time to address assurance for dynamically adaptive systems
Fredericks, Erik M.
Text (2015)
Part of
Electronic Theses & Dissertations
First
1
(current)
Last
