Tsuchiya Tatsuhiro | The Department Of Informatics And Mathematical Science Osaka University
スポンサーリンク
概要
- TSUCHIYA Tatsuhiroの詳細を見る
- 同名の論文著者
- The Department Of Informatics And Mathematical Science Osaka Universityの論文著者
関連著者
-
Tsuchiya Tatsuhiro
Graduate School Of Information Science And Technology Osaka University
-
Tsuchiya Tatsuhiro
The Department Of Informatics And Mathematical Science Osaka University
-
Tsuchiya Tatsuhiro
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
Kikuno Tohru
The Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka
-
Tsuchiya Tatsuhiro
The Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka
-
KIKUNO Tohru
Graduate School of Information Science and Technology, Osaka University
-
Kikuno Tohru
Osaka Univ. Osaka
-
Kikuno Tohru
The Authors Are With The Department Of Informatics And Mathematical Science Graduate School Of Engin
-
Kikuno T
Graduate School Of Information Science And Technology Osaka University
-
Choi Eun
The Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka
-
YOKOGAWA Tomoyuki
Graduate School of Engineering Science, Osaka University
-
Choi E
Toshiba Corp.
-
中村 匡秀
神戸大学大学院工学研究科情報知能学専攻
-
TSUCHIYA Tatsuhiro
Graduate School of Information Science and Technology, Osaka University
-
Tsuchiya Tatsuhiro
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
中村 匡秀
Faculty Of Computer Science And Systems Engineering Kobe University
-
NAKAMURA Masahide
Graduate School of Information Science, Nara Institute of Science and Technology
-
KIKUNO Tohru
Department of Informatics and Mathematical Science, Graduate School of Engineering Science, Osaka Un
-
YOKOGAWA Tomoyuki
the Graduate School of Engineering Science, Osaka University
-
TSUCHIYA Tatsuhiro
the Graduate School of Engineering Science, Osaka University
-
KIKUNO Tohru
the Graduate School of Engineering Science, Osaka University
-
TOKUDA Yusuke
the Department of Informatics and Mathematical Science, Osaka University
-
Kikuno Tohru
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
Kikuno Tohru
Graduate School Of Engineering Science Osaka University
-
Tokuda Yusuke
The Department Of Informatics And Mathematical Science Osaka University
-
HASIMOTO Koji
Hitachi Laboratory, Hitachi Ltd
-
Hasimoto Koji
Hitachi Laboratory Hitachi Ltd
-
Kikuno Tohru
The Graduate School Of Engineering Science Osaka University
-
Kikuno Tohru
The Department Of Informatics And Mathematical Science Osaka University
-
Yokogawa Tomoyuki
Graduate School Of Engineering Science Osaka University
-
Hashimoto Koji
Hitachi Laboratory Hitachi Ltd.
著作論文
- Feature Interaction Detection by Bounded Model Checking(Dependable Communication)(Dependable Computing)
- Verifying Fault Tolerance of Concurrent Systems by Model Checking(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- A Hierarchical Approach to Dependability Evaluation of Distributed Systems with Replicated Resources
- Computing the Stabilization Times of SElf-Stabilizing Systems (Special Section on Concurrent Systems Technology)
- New Constructions for Nondominated k-Coteries
- Effective Scheduling of Duplicated Tasks for Fault Tolerance in Multiprocessor Systems