Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Theses & Dissertations
Advanced Search
Year
2010
TO
2010
School Or College
College of Engineering
1
Department
Computing
1
Publication Type
dissertation
1
Subject
Embedded systems
1
Petri nets
1
Verification
1
Filters:
Department:
"Computing"
Collection:
"ir_etd"
Subject:
"Verification"
1
-
25
of
1
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
Author
Title
Subject
Date
Publication Type
1
Thacker, Robert A
New verification method for embedded systems
Embedded systems; Petri nets; Verification
2010-12
dissertation
1
-
25
of
1