KAMEI Yasutaka | Kyushu University
スポンサーリンク
概要
関連著者
-
UBAYASHI NAOYASU
Kyushu Institute of Technology
-
KAMEI Yasutaka
Kyushu University
-
NAKAJIMA Shin
National Institute of Informatics
-
Ubayashi Naoyasu
Kyushu University
-
Nakajima Shin
National Inst. Informatics Tokyo Jpn
-
NAKASHIRO Ryosuke
Kyushu University
-
IWAI Akihito
DENSO CORPORATION
著作論文
- Verification of BPEL Workflows Design using Model Checking
- An Extensible Aspect-Oriented Modeling Environment for Constructing Domain-Specific Languages