Katayama Tetsuro | Faculty Of Engineering University Of Miyazaki
スポンサーリンク
概要
関連著者
-
Katayama Tetsuro
Faculty Of Engineering University Of Miyazaki
-
Fukuda Akira
Graduate School Of Information Science Nara Institute Of Science And Technology
-
Watanabe Masahiko
Cats Co. Ltd.
-
Kong Weiqiang
Fukuoka Industry Science And Technology Foundation (fukuoka Ist)
-
SHIRAISHI Tomohiro
Fukuoka Industry, Science and Technology Foundation (Fukuoka IST)
-
KATAHIRA Noriyuki
Fukuoka Industry, Science and Technology Foundation (Fukuoka IST)
-
Katahira Noriyuki
Fukuoka Industry Science And Technology Foundation (fukuoka Ist)
-
Shiraishi Tomohiro
Fukuoka Industry Science And Technology Foundation (fukuoka Ist)
-
Katayama Tetsuro
Fac. Of Engineering Univ. Of Miyazaki
-
Fukuda Akira
Graduate School of Information Science and Electrical Engineering, Kyushu University
著作論文
- Extraction of Transformation Rules from UML Diagrams to SpecC
- An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix