Kikuno Tohru | Graduate School Of Engineering Science Osaka University
スポンサーリンク
概要
関連著者
-
Kikuno Tohru
Graduate School Of Engineering Science Osaka University
-
KIKUNO Tohru
Graduate School of Information Science and Technology, Osaka University
-
Tsuchiya Tatsuhiro
Graduate School Of Information Science And Technology Osaka University
-
TSUCHIYA Tatsuhiro
Graduate School of Information Science and Technology, Osaka University
-
Kikuno Tohru
Osaka Univ. Osaka
-
Kikuno Tohru
The Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka
-
Kikuno Tohru
The Authors Are With The Department Of Informatics And Mathematical Science Graduate School Of Engin
-
MIZUNO Osamu
Graduate School of Information Science and Technology, Osaka University
-
Kikuno T
Graduate School Of Information Science And Technology Osaka University
-
Mizuno Osamu
Graduate School Of Electrical And Electronics Engineering Kogakuin University:kogakuin University
-
Mizuno Osamu
Graduate School of Electrical and Electronic Engineering Kogakuin University:Department of Information and Communications Engineering Kogakuin University
-
Mizuno O
Graduate School Of Information Science And Technology Osaka University
-
Kikuno Tohru
Graduate School Of Information Science And Technology Osaka University
-
Takagi Yasunari
Graduate School Of Information Science And Technology Osaka University
-
Tsuchiya Tatsuhiro
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
Hirayama Masayuki
R & D Center Toshiba Corporation
-
中村 匡秀
神戸大学大学院工学研究科情報知能学専攻
-
MAKIKAWA Fuminori
Graduate School of Information Science and Technology, Osaka University
-
SEKIZAWA Toshifusa
Graduate School of Information Science and Technology, Osaka University
-
TAKAHASHI Koichi
Research Center for Verification and Semantics (CVS), National Institute of Advanced Industrial Scie
-
Sumi Takeshi
R & D Center Toshiba Corporation
-
AMANO Kitsutaro
Department of Computer Engineering, Faculty of Information Sciences, Hiroshima City University
-
ISHIDA Kenji
Faculty of Information Sciences, Hiroshima City University
-
Kakuda Yoshiaki
Faculty Of Engineering Science Osaka University
-
AIZONO Takeiki
Hitachi Ltd.
-
MATSUO Takafumi
Graduate School of Information Science and Technology, Osaka University
-
SUMI Takeshi
R & D Center, TOSHIBA Corporation
-
HIRAYAMA Masayuki
R & D Center, TOSHIBA Corporation
-
Matsuo Takafumi
Graduate School Of Information Science And Technology Osaka University
-
Ohashi Masahiro
Department Of Neurosurgery Tonami General Hospital
-
Ohashi Masahiro
Hitachi Ltd.
-
Sekizawa Toshifusa
Graduate School Of Information Science And Technology Osaka University
-
Tsuchiya Tatsuhiro
The Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka
-
Tsuchiya Tatsuhiro
The Department Of Informatics And Mathematical Science Osaka University
-
中村 匡秀
Faculty Of Computer Science And Systems Engineering Kobe University
-
NAKAMURA Masahide
Graduate School of Information Science, Nara Institute of Science and Technology
-
YOKOGAWA Tomoyuki
Graduate School of Engineering Science, Osaka University
-
Kusumoto S
Department Of Chemistry Graduate School Of Science Osaka University
-
Kogure M
Showa Pharmaceutical Univ. Tokyo Jpn
-
Kogure Makoto
Hitachi Ltd.
-
Hirayama Yuji
Omron Corporation
-
KUSUMOTO Shinji
Graduate School of Information Science and Technology, Osaka University
-
TAKAGI YASUNARI
OMRON Corporation
-
SAKAMOTO KEISHI
SPI consultant
-
Kusumoto Shinji
Graduate School Of Engineering Science Osaka University
-
AMASAKI Sousuke
Graduate School of Information Science and Technology, Osaka University
-
HIRAYAMA Masayuki
Software Engineering Center, Toshiba Corporation
-
Kusumoto S
Graduate School Of Information Science And Technology Osaka University
-
WONG TheinLai
Graduate School of Information Science and Technology, Osaka University
-
Wong Theinlai
Graduate School Of Information Science And Technology Osaka University
-
KOBAYASHI Noritaka
Graduate School of Information Science and Technology, Osaka University
-
Makikawa Fuminori
Graduate School Of Information Science And Technology Osaka University
-
AMANO Kitsutaro
Faculty of Information Sciences, Hiroshima City University
-
Mizuno Osamu
Graduate School Of Information Science And Technology Osaka University
-
Ishida Kenji
Faculty Of Information Sciences Hiroshima City University
-
Amasaki Sousuke
Graduate School Of Information Science And Technology Osaka University
-
Amano Kitsutaro
Department Of Computer Engineering Faculty Of Information Sciences Hiroshima City University
-
Yokogawa Tomoyuki
Graduate School Of Engineering Science Osaka University
-
Kobayashi Noritaka
Graduate School Of Information Science And Technology Osaka University:(present Address)nomura Resea
-
Takahashi Koichi
Research Center For Verification And Semantics (cvs) National Institute Of Advanced Industrial Scien
著作論文
- Feature Interaction Verification Using Unbounded Model Checking with Interpolation
- Prediction of Fault-Prone Software Modules Using a Generic Text Discriminator
- Probabilistic Model Checking of the One-Dimensional Ising Model
- An Effective Testing Method for Hardware Related Fault in Embedded Software(Software Engineering for Embedded Systems)
- Feature Interaction Detection by Bounded Model Checking(Dependable Communication)(Dependable Computing)
- Software Project Simulator for Effective Process Improvement (特集 〔情報処理学会〕創立40周年記念論文)
- New System Model Based on Autonomous Decentralized System for Highly Productive Processing Equipment (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems)
- Constructing a Bayesian Belief Network to Predict Final Quality in Embedded System Development(Software Engineering for Embedded Systems)
- Test Item Prioritizing Metrics for Selective Software Testing(Software Engineering)
- New 2-Factor Covering Designs for Software Testing(Regular Section)
- A BDD-based approach to reliability-optimal module allocation in networks (信頼性)
- SAT and SMT based model checking of concurrent systems (コンカレント工学)
- An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power(Networks)
- Constructing Overlay Networks with Short Paths and Low Communication Cost
- A Distributed Routing Protocol for Finding Two Node-Disjoint Paths in Computer Networks (Special Issue on Distributed Processing for Controlling Telecommunications Systems)