Aoki Toshiaki | 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
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
School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)
-
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)
-
Aoki Toshiaki
Japan Advanced Institute of Science and Technology
-
Chaiwat Sathawornwichit
School of Information Science, 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
-
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)
-
Chaiwat Sathawornwichit
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Pham Ngoc
College Of Technology Vietnam National University
-
Nguyen Viet
College Of Technology Vietnam National University
著作論文
- Modeling of Real-Time System Designs for Parametric Analysis
- 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