Nakajima Shin | National Inst. Informatics Tokyo Jpn

スポンサーリンク

概要

• Nakajima Shinの詳細を見る
• 同名の論文著者
• National Inst. Informatics Tokyo Jpnの論文著者

関連著者

• 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

スポンサーリンク