TO
1 - 25 of 3
| Date | Author | Title | Department | Publication Type | ||
|---|---|---|---|---|---|---|
| 1 |
 | 2011-08 | Eldredge, Weston M. | Development, verification, and validation of the responsive boundary model for pool fire simulations | Chemical Engineering | dissertation |
| 2 |
 | 2011-08 | Pagariya, Rohit | Direct equivalence testing of embedded software | Computing | thesis |
| 3 |
 | 2011-08 | Vo, Anh | Scalable formal dynamic verification of MPI programs through distributed causality tracking | Computing | dissertation |
1 - 25 of 3