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
5
Department
Computing
5
Publication Type
dissertation
4
thesis
1
Subject
Verification
5
Causality tracking
1
Compiler testing
1
Correctness checking
1
Device
1
Driver
1
Embedded software
1
Embedded systems
1
Equivalence testing
1
Formal
1
Interrupt
1
Isosurface extraction
1
MPI
1
Medical imaging
1
Petri nets
1
Verifiable visualization
1
Visualization
1
Volume rendering
1
More
Filters:
Department:
"Computing"
Format:
"application/pdf"
School Or College:
"College of Engineering"
Collection:
"ir_etd"
Subject:
"Verification"
1
-
25
of
5
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
File is restricted
Your browser does not support the video tag.
Your browser does not support the audio tag.
1
-
25
of
5