Hironori Saito

According to our database, Hironori Saito authored at least 3 papers between 1991 and 1992.

Collaborative distances:

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

1992

Component-based protocol synthesis.

Yoshiaki Kakuda, Yasushi Wakahara, Hironori Saito

Syst. Comput. Jpn., 1992

1991

An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis.

Yoshiaki Kakuda, Hironori Saito

IEEE Trans. Computers, 1991

Protocol Verification System for SDL Specifications Based on Acyclic Expansion Algorithm and Temporal Logic.

Hironori Saito, Toru Hasegawa, Yoshiaki Kakuda

Proceedings of the Formal Description Techniques, 1991