Search results

Showing 1 to 6 of 6 results

A three-pronged approach towards improving the development of safety-critical software systems

A three-pronged approach towards improving the development of safety-critical software systems

Christensen, Amy C. (Amy Chere)

Text (1995)

Part of Electronic Theses & Dissertations

Automatic synthesis of fault-tolerance

Automatic synthesis of fault-tolerance

Text (2005)

Part of Electronic Theses & Dissertations

Enhancing automated fault discovery and analysis

Enhancing automated fault discovery and analysis

Text (2012)

Part of Electronic Theses & Dissertations

Towards automated model revision for fault-tolerant systems

Towards automated model revision for fault-tolerant systems

Text (2010)

Part of Electronic Theses & Dissertations

Successful strategies for debugging concurrent software : an empirical investigation

Successful strategies for debugging concurrent software : an empirical investigation

Fleming, Scott Douglas

Text (2009)

Part of Electronic Theses & Dissertations

Using formal analysis and search-based techniques to address the assurance of cyber-physical systems at the requirements level

Using formal analysis and search-based techniques to address the assurance of cyber-physical systems at the requirements level

Text (2017)

Part of Electronic Theses & Dissertations