Katayama Takuya | Japan Advanced Institute Of Science And Technology
スポンサーリンク
概要
関連著者
-
Katayama Takuya
Japan Advanced Institute Of Science And Technology
-
Aoki Toshiaki
Japan Advanced Institute of Science and Technology
-
Aoki Toshiaki
School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)
-
OKAZAKI Mitsutaka
Japan Advanced Institute of Science and Technology
-
八杉 昌宏
京都大学大学院情報学研究科
-
Aoki Toshiaki
School of Information Science, Japan Advanced Institute of Science and Technology
-
Katayama Takuya
School of Information Science, Japan Advanced Institute of Science and Technology
-
Katayama Takuya
School Of Information Science Japan Advanced Institute Of Science And Technology
-
NAKAJIMA Tatsuo
Waseda University
-
YUASA Taiichi
Kyoto University
-
KISHI Tomoji
Japan Advanced Institute of Science and Technology
-
NAKAJIMA Shin
National Institute of Informatics
-
OIKAWA Shuichi
University of Tsukuba
-
YASUGI Masahiro
Kyoto University
-
UMATANI Seiji
Kyoto University
-
Okazaki Mitsutaka
School of Information Science, Japan Advanced Institute of Science and Technology
-
Aoki Toshiaki
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Cherif Adel
Japan Advanced Institute Of Science And Technology
-
Yuasa Taiichi
Department Of Communications And Computer Engineering Graduate School Of Informatics Kyoto Universit
-
Umatani Seiji
Department Of Communications And Computer Engineering Graduate School Of Informatics Kyoto Universit
-
Katayama T
Japan Advanced Inst. Sci. And Technol. (jaist) Ishikawa‐ken Jpn
-
SUZUKI Masato
Japan Advanced Institute of Science and Technology
-
Imaizumi Takashi
Chiba University
-
Yasugi Masahiro
Department Of Communications And Computer Engineering Graduate School Of Informatics Kyoto Universit
-
NATORI Shin
University of Tokyo
-
GONDOW Katsuhiko
Japan Advanced Institute of Science and Technology(JAIST)
-
HAGIWARA Takeshi
Niigata University
-
Masahiro Yasugi
Graduate School Of Informatics Kyoto University
-
Katayama Takuya
Japan Advanced Institute Of Science And Technology(jaist)
-
Nakajima Shin
National Inst. Informatics Tokyo Jpn
-
LIN Hsin-Hung
Japan Advanced Institute of Science and Technology
-
PHAM Ngoc
VNU University of Engineering and Technology
-
NGUYEN Viet
VNU University of Engineering and Technology
-
AOKI Toshiaki
Japan Advanced Institute of Science and Technology (JAIST)
-
KATAYAMA Takuya
Japan Advanced Institute of Science and Technology (JAIST)
-
PHAM Ngoc
the VNU University of Engineering and Technology
-
NGUYEN Viet
the VNU University of Engineering and Technology
著作論文
- Highly Reliable Embedded Software Development Using Advanced Software Technologies(Software Engineering for Embedded Systems)
- Extracting threads from concurrent objects for the design of embedded systems
- A Novel Replication Technique for Detecting and Masking Failures for Parallel Software: Active Parallel Replication
- OAG : Improved Ordered Attribute Grammars for Less Type 3 Circularities
- Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking
- On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification
- On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification