Michihiro Matsumoto
发表
Tsuyoshi Takayama,
Takanori Seno,
Atsushi Nagata,
1985
.
Michihiro Matsumoto,
Daniele Alzetta,
2000
.
Akira Fukuda,
Masahiko Watanabe,
Michihiro Matsumoto,
2007,
Seventh International Conference on Quality Software (QSIC 2007).
Dorel Lucanu,
Razvan Diaconescu,
Kokichi Futatsugi,
1998
.
Akira Fukuda,
Kenji Hisazumi,
Takahiro Ando,
2015,
TENCON 2015 - 2015 IEEE Region 10 Conference.
Junichiro Kawaguchi,
川口 淳一郎,
Michihiro Matsumoto,
2011
.
Yoji Shirasawa,
Osamu Mori,
道弘 松本,
2007
.
Kokichi Futatsugi,
Michihiro Matsumoto,
1999,
Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509).
Kokichi Futatsugi,
Michihiro Matsumoto,
1998,
WRLA.
Akira Fukuda,
Masahiko Watanabe,
Weiqiang Kong,
2010
.
Akira Fukuda,
Bo Wang,
Kenji Hisazumi,
2018,
2018 5th International Conference on Dependable Systems and Their Applications (DSA).
Kokichi Futatsugi,
Michihiro Matsumoto,
2000,
ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods.
Kokichi Futatsugi,
Michihiro Matsumoto,
2000,
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.
Kokichi Futatsugi,
Michihiro Matsumoto,
2000
.
Junichiro Kawaguchi,
Michihiro Matsumoto,
2004
.
Junichiro Kawaguchi,
Nobuaki Ishii,
Takeshi Imamura,
2012
.
Akira Fukuda,
Teruaki Kitasuka,
Tsuneo Nakanishi,
2005
.
Hirotaka Sawada,
Junichiro Kawaguchi,
Yoji Shirasawa,
2008
.
Akira Fukuda,
Teruaki Kitasuka,
Tsuneo Nakanishi,
2005
.
Tomohiro Shiraishi,
Akira Fukuda,
Tetsuro Katayama,
2010,
Software Engineering Research and Practice.
Akira Fukuda,
Teruaki Kitasuka,
Tsuneo Nakanishi,
2004,
11th Asia-Pacific Software Engineering Conference.
Kokichi Futatsugi,
Michihiro Matsumoto,
2004
.
Toshinori Hosokawa,
Mitsuyasu Ohta,
Michiaki Muraoka,
1995,
ASP-DAC '95.