A Caltech Library Service

Browse by Author

Number of items: 1.

Graebener, Josefine Berta Marie (2024) Formal Methods for Test and Evaluation: Reasoning over Tests, Automated Test Synthesis, and System Diagnostics. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/4xdc-b988. https://resolver.caltech.edu/CaltechTHESIS:05312024-094443866

This list was generated on Sat Oct 5 02:45:30 2024 UTC.

CaltechTHESIS is powered by EPrints 3.3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.