Hokkaido University
|
Library
| HUSCAP
Advanced Search
言語
日本語
English
Home
About HUSCAP
Open Access Policy
Browse by Author
Browse
Communities
& Collections
Scholarly Journals
Theses
Doctoral Dissertations
Listed by Graduate Schools
Conference Procs.
Events
HUSCAP Senior
(in Japanese)
Societies
Downloads (country)
For university staff
How to post your
papers to HUSCAP
Publication of theses
Helpline about
theses publication
Open Archives Compliant
You can search
our collection
also at:
Google
Google Scholar
CiNii
IRDB
OAIster
NDLTD
Hokkaido University Collection of Scholarly and Academic Papers
>
Sort by:
issue date
title
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Export metadata:
Showing results 1 to 3 of 3
Type
Author(s)
Title
Other Titles
Citation
Citation(alt)
Issue Date
theses (doctoral)
岩下, 洋哲
Practical Techniques and Applications of Binary Decision Diagrams in Property Verification Problems
プロパティ検証問題における二分決定グラフの実用的な技術と応用
-
-
25-Mar-2014
theses (doctoral - abstract and summary of review)
岩下, 洋哲
Practical Techniques and Applications of Binary Decision Diagrams in Property Verification Problems [an abstract of dissertation and a summary of dissertation review]
プロパティ検証問題における二分決定グラフの実用的な技術と応用 [論文内容及び審査の要旨]
-
-
25-Mar-2014
conference presentation
岩下, 洋哲
Improving Simulation Coverage of Metastability E ects in Clock Domain Crossing Verification
-
-
-
Jun-2011
Showing results 1 to 3 of 3
Feedback
Hokkaido University
