Fumiaki Kanezashi

	2000
2		Atsushi Togashi, Xiaosong Lu, Fumiaki Kanezashi: System Requirements and Formal Specifications of Hierarchical Reactive Systems. ICPADS 2000: 91-98
	1997
1		Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu: A Methodology for the Description of System Requirements and the Derivation of Formal Specifications. FORTE 1997: 383-398

Coauthor Index

1	Xiaosong Lu	[2]
2	Xiasong Lu	[1]
3	Atsushi Togashi	[1] [2]