Login / Signup
Hironori Saito
Publication Activity (10 Years)
Years Active: 1991-1992
Publications (10 Years): 0
</>
Publications
</>
Yoshiaki Kakuda
,
Yasushi Wakahara
,
Hironori Saito
Component-based protocol synthesis.
Systems and Computers in Japan
23 (8) (1992)
Hironori Saito
,
Toru Hasegawa
,
Yoshiaki Kakuda
Protocol Verification System for SDL Specifications Based on Acyclic Expansion Algorithm and Temporal Logic.
FORTE
(1991)
Yoshiaki Kakuda
,
Hironori Saito
An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis.
IEEE Trans. Computers
40 (4) (1991)