Aoki Toshiaki | School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)
スポンサーリンク
概要
- 同名の論文著者
- School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)の論文著者
関連著者
-
Aoki Toshiaki
School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)
-
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
-
Aoki Toshiaki
School Of Information Science 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
-
OKAZAKI Mitsutaka
Japan Advanced Institute of Science and Technology
-
Pham Ngoc
School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)
-
Katayama Takuya
School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)
-
八杉 昌宏
京都大学大学院情報学研究科
-
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
-
PHAM Ngoc
School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)
-
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
-
Pham Ngoc
College Of Technology Vietnam National University
-
Nguyen Viet
College Of Technology Vietnam National University
-
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
著作論文
- 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
- Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software
- A Minimized Assumption Generation Method for Component-Based Software Verification