Showing
1 - 5
results of
5
for search '
Cheng, A.M.K.
'
Skip to content
VuFind
Feedback
Your Account
Log Out
Login
Theme
Bootstrap
Aunilo
Language
English
中文（繁體）
اللغة العربية
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Cheng, A.M.K.
Showing
1 - 5
results of
5
for search '
Cheng, A.M.K.
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Optimization of real-time systems timing specifications
by
Andrei, Ş.
,
Cheng
,
A.M.K
.
Published 2013
Get full text
Conference or Workshop Item
Save to List
Saved in:
2
Faster verification of RTL-specified systems via decomposition and constraint extension
by
Andrei, Ş.
,
Cheng
,
A.M.K
.
Published 2013
Get full text
Conference or Workshop Item
Save to List
Saved in:
3
Systematic debugging of real-time systems based on incremental satisfiability counting
by
Andrei, Ş.
,
Chin, W.-N.
,
Cheng
,
A.M.K
.
,
Lupu, M.
Published 2013
Get full text
Conference or Workshop Item
Save to List
Saved in:
4
Runtime-coordinated scalable incremental checksum testing of combinational circuits
by
Andrei, Ş.
,
Chin, W.-N.
,
Cheng
,
A.M.K
.
,
Zhu, Y.
Published 2013
Get full text
Conference or Workshop Item
Save to List
Saved in:
5
Automatic debugging of real-time systems based on incremental satisfiability counting
by
Andrei, Ş.
,
Chin, W.N.
,
Cheng
,
A.M.K
.
,
Lupu, M.
Published 2013
Get full text
Article
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
×
Loading...