Theses & Dissertations
 
Filters: Subject: "Verification" Publication Type: "thesis"
1 - 25 of 4
Number of results to display per page
TitleDateType
1 Automatic extraction of behavioral models from simulations of analog/mixed-signal (AMS) circuits2011-05Text
2 Direct equivalence testing of embedded software2011-08Text
3 Symbolic asynchronous hardware protocol verification for compositions with relative timing2010Text
4 Verification and validation of a geomodel aimed at simulating wellbore completion via shaped-charge jet perforation of metal and penetration into sandstone2013-12Text
1 - 25 of 4