Aoki Toshiaki | Japan Advanced Institute of Science and Technology
スポンサーリンク
概要
関連著者
-
Aoki Toshiaki
Japan Advanced Institute of Science and Technology
-
Katayama Takuya
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
-
八杉 昌宏
京都大学大学院情報学研究科
-
Yatake Kenro
Japan Advanced Institute of Science and Technology
-
Nishibata Hirokazu
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
-
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
-
Yasugi Masahiro
Department Of Communications And Computer Engineering Graduate School Of Informatics Kyoto Universit
-
Masahiro Yasugi
Graduate School Of Informatics Kyoto University
-
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
著作論文
- Automatic Generation of Model Checking Scripts based on Environment Modeling
- 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
- 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