1 - 25 of 4
Number of results to display per page
TitleDateTypeSetname
1 Efficient, sound formal verification for analog/mixed-signal circuits2015-08Textir_etd
2 Global ensemble forecast system precipitation forecasts and the implications of statistical downscaling over the western united states2016Textir_etd
3 Towards a verification technique for large synchronous circuits1992Textir_uspace
4 Verification and validation of a geomodel aimed at simulating wellbore completion via shaped-charge jet perforation of metal and penetration into sandstone2013Textir_etd
1 - 25 of 4