Toggle navigation
NDSU Repository
Filter by: Subject
NDSU Repository Home
NDSU Theses & Dissertations
Electrical & Computer Engineering
Filter by: Subject
NDSU Repository Home
NDSU Theses & Dissertations
Electrical & Computer Engineering
Filter by: Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Filter by: Subject
Results Per Page:
5
10
20
40
60
80
100
update
Now showing items 1-10 of 2
5
10
20
40
60
80
100
formal verification (2)
refinement-based verification (2)
critical systems (1)
formal specifications (1)
model checking (1)
real-time verification (1)
refinement maps (1)
timed refinement (1)
timed transition systems (1)
verification of object code (1)
Search NDSU Repository
This Community
Advanced Search
Browse
All of NDSU Repository
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Community
By Issue Date
Authors
Titles
Subjects
My Account
Login