Kiyotoshi Komaya

According to our database, Kiyotoshi Komaya authored at least 3 papers between 1998 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Revised design calculations of elevator systems.

Takuji Maeda, Kiyotoshi Komaya

Proceedings of the IEEE International Conference on Systems, 2000

1998

Applying SOFL to Specify A Railway Crossing Controller for Industry.

Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL.

Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura

Proceedings of the 4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 1998