Tae Kameda

	2009
3		Tae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita: Towards a Verification-Based Development Approach for Reactive Systems. SoMeT 2009: 350-363
	2008
2		Tae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita: Towards Verifying Declarative Specifications of Reactive Systems. SoMeT 2008: 389-400
	2006
1		Sergei Gorlatch, Tae Kameda, Hamido Fujita, Michiru Tanaka, Yutaka Funyu, Osamu Arai: Towards Developing Adjustable Software: A Case Study with the Lyee Approach. SoMeT 2006: 423-438

Coauthor Index

1	Osamu Arai	[1] [2] [3]
2	Hamido Fujita	[1] [2] [3]
3	Yutaka Funyu	[1]
4	Sergei Gorlatch	[1] [2] [3]
5	Michiru Tanaka	[1]