Study on checking the correctness of asynchronous devices | 東京工業大学附属図書館蔵書検索

Blank Cover Image

所蔵情報QRコード

Study on checking the correctness of asynchronous devices / Märt Saarepera

資料種別:: 学位論文
出版情報:: 東京 : 東京工業大学, 2000
著者名:: Saarepera, Märt
書誌ID:: 1000355248

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

その他の標題:	非同期式回路の設計と検証に関する研究
注記:	報告番号:甲第4479号/(学術)学術博士:/授与年月日:平成12月3月26日
著者名ヨミ:	サーレペラ, マルト
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 学位論文 Concurrent error checking in asynchronous circuits Kishore, B.Ravi 東京工業大学	7 電子ブック Correct Reasoning Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
2 学位論文 Hierarchical verification of bounded delay asynchronous circuits using conformance checking 周, 斌東京工業大学	8 電子ブック Correct Reasoning Hutchison, David, Kanade, Takeo, Lee, Joohyung, Lierler, Yuliya, Pearce, David SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Logic, Rewriting, and Concurrency Mart?-Oliet Springer eBooks Computer Science, Springer International Publishing	9 電子ジャーナル Software Correctness for HPC Applications (Correctness) IEEE Electronic Library (IEL) Conference Series, IEEE
4 電子ブック The 2-tuple Linguistic Model Mart?nez, Mart?nez, Luis Springer eBooks Computer Science, Springer International Publishing	10 図書 Materials for semiconductor devices : a study of patents and patent applications Terpstra, Marten, Commission of the European Communities Elsevier Applied Science Publishers
5 学位論文 Studies on transmissive electrochromic window device 永井, 順一東京工業大学	11 学位論文 Study of waveguide optical switching devices controlled with light 中津原, 克己東京工業大学
6 電子ブック Conformance Checking Carmona, Solti, Andreas, van Dongen, Boudewijn, Weidlich, Matthias SpringerLink Books - AutoHoldings, Springer International Publishing	12 学位論文 Fundamental study of metal/insulator heterostructure electron devices 渡辺, 正裕東京工業大学

1

2

3

4

5

6

7

8

9

10

11

12