Kiyotoshi Komaya

	1998
2		Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura: An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL. ICECCS 1998: 100-114
1		Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura: Applying SOFL to Specify A Railway Crossing Controller for Industry. WIFT 1998: 16-27

Coauthor Index

1	Masashi Asuka	[1] [2]
2	Shaoying Liu	[1] [2]
3	Yasuaki Nakamura	[1] [2]