Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Theses & Dissertations
Advanced Search
Year
2010
2011
2012
2013
TO
2010
2011
2012
2013
School Or College
College of Engineering
4
Department
Electrical & Computer Engineering
2
Computing
1
Mechanical Engineering
1
Publication Type
thesis
4
Subject
Verification
4
AMS
1
Analog/mixed-signal
1
BDD
1
Compiler testing
1
Embedded software
1
Equivalence testing
1
Geomechanics
1
Hypervelocity
1
Modeling
1
Perforation
1
Petri-net
1
Relative timing
1
SAT
1
Shaped-charge
1
Simulation
1
Solidmechanics
1
Symbolic model checking
1
Timed asynchronous protocol
1
More
Filters:
Publication Type:
"thesis"
Collection:
ir_etd
Subject:
"Verification"
Type:
"Text"
1
-
25
of
4
Gallery view
Number of results to display per page
10
25
50
100
200
Sort by Relevance
Sort by Title A-Z
Sort by Title Z-A
Sort by Date Ascending
Sort by Date Descending
Sort by Last Modified Ascending
Sort by Last Modified Descending
Title
Setname
Type
1
Automatic extraction of behavioral models from simulations of analog/mixed-signal (AMS) circuits
ir_etd
Text
2
Direct equivalence testing of embedded software
ir_etd
Text
3
Symbolic asynchronous hardware protocol verification for compositions with relative timing
ir_etd
Text
4
Verification and validation of a geomodel aimed at simulating wellbore completion via shaped-charge jet perforation of metal and penetration into sandstone
ir_etd
Text
1
-
25
of
4
