Fumiaki Kanezashi

According to our database, Fumiaki Kanezashi authored at least 2 papers between 1997 and 2000.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2000

System Requirements and Formal Specifications of Hierarchical Reactive Systems.

Atsushi Togashi, Xiaosong Lu, Fumiaki Kanezashi

Proceedings of the Seventh International Conference on Parallel and Distributed Systems, 2000

1997

A Methodology for the Description of System Requirements and the Derivation of Formal Specifications.

Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu

Proceedings of the Formal Description Techniques and Protocol Specification, 1997