Showing
1 - 7
results of
7
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Duale, A.Y.
Search Results - Duale, A.Y.
Showing
1 - 7
results of
7
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
A method enabling feasible conformance test sequence generation for EFSM models
by
Duale, A.Y.
,
Uyar, M.U.
Published in
IEEE transactions on computers
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
2
Loading…
A technique to generate feasible tests for communications systems with multiple timers
by
Fecko, M.A.
,
Uyar, M.U.
,
Duale, A.Y.
,
Amer, P.D.
Published in
IEEE/ACM transactions on networking
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
3
Loading…
Test generation for EFSM models of complex army protocols with inconsistencies
by
Uyar, M.U.
,
Duale, A.Y.
Request full text
Conference Proceeding
Save to List
Saved in:
4
Loading…
Resolving inconsistencies in EFSM-modeled specifications
by
Uyar, M.U.
,
Duale, A.Y.
Request full text
Conference Proceeding
Save to List
Saved in:
5
Loading…
Efficient test generation for army network protocols with conflicting timers
by
Fecko, M.A.
,
Uyar, M.U.
,
Duale, A.Y.
,
Amer, P.D.
Request full text
Conference Proceeding
Save to List
Saved in:
6
Loading…
Modeling VHDL specifications as consistent EFSMs
by
Umit Uyar, M.
,
Duale, A.Y.
Request full text
Conference Proceeding
Save to List
Saved in:
7
Loading…
Conformance testing: towards refining VHDL specifications
by
Duale, A.Y.
,
Uyar, M.U.
,
McClure, B.D.
,
Chamberlain, S.
Request full text
Conference Proceeding
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
2 results
2
Full Text
7 results
7
Format
Conference Proceedings
5 results
5
Articles
2 results
2
Journal Title
Ieee Transactions On Computers
1 results
1
Ieee/Acm Transactions On Networking
1 results
1
Subjects
Protocols
6 results
6
Cities And Towns
5 results
5
System Testing
5 results
5
Educational Institutions
4 results
4
Telecommunications
4 results
4
Automatic Testing
3 results
3
Computer Science
3 results
3
Engineering
3 results
3
Engineering, Electrical & Electronic
3 results
3
Science & Technology
3 results
3
Technology
3 results
3
Applied Sciences
2 results
2
Automata
2 results
2
Collaboration
2 results
2
Computer Science, Hardware & Architecture
2 results
2
Conformance Testing
2 results
2
Exact Sciences And Technology
2 results
2
Explosions
2 results
2
Hardware Design Languages
2 results
2
Information, Signal And Communications Theory
2 results
2
Year of Publication
From:
To:
Source
Ieee Electronic Library (Iel) Conference Proceedings
5 results
5
Ieee Xplore (Online Service)
2 results
2
Ieee Xplore All Journals
2 results
2
Acm Digital Library
1 results
1
Association For Computing Machinery:jisc Collections:acm Open Journals 2023-2025 (Reading List)
1 results
1