NAKAJIMA Shin | National Institute of Informatics
スポンサーリンク
概要
関連著者
-
NAKAJIMA Shin
National Institute of Informatics
-
Nakajima Shin
National Inst. Informatics Tokyo Jpn
-
八杉 昌宏
京都大学大学院情報学研究科
-
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)
-
NAKAJIMA Tatsuo
Waseda University
-
YUASA Taiichi
Kyoto University
-
KISHI Tomoji
Japan Advanced Institute of Science and Technology
-
OIKAWA Shuichi
University of Tsukuba
-
YASUGI Masahiro
Kyoto University
-
OKAZAKI Mitsutaka
Japan Advanced Institute of Science and Technology
-
UMATANI Seiji
Kyoto University
-
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
-
Muller Thomas
National Institute Of Informatics
-
UBAYASHI NAOYASU
Kyushu Institute of Technology
-
Yasugi Masahiro
Department Of Communications And Computer Engineering Graduate School Of Informatics Kyoto Universit
-
Masahiro Yasugi
Graduate School Of Informatics Kyoto University
-
Ubayashi Naoyasu
Kyushu University
-
NAKASHIRO Ryosuke
Kyushu University
-
KAMEI Yasutaka
Kyushu University
-
IWAI Akihito
DENSO CORPORATION
著作論文
- Highly Reliable Embedded Software Development Using Advanced Software Technologies(Software Engineering for Embedded Systems)
- Rodin plugin to link Event-B and SPIN (ソフトウェアサイエンス)
- Verification of BPEL Workflows Design using Model Checking