Tomohiro Kaizu

Publication Activity (10 Years)

Years Active: 2006-2013
Publications (10 Years): 0

Top Topics

Sequence Diagrams

Process Algebra

Top Venues

IEICE Trans. Fundam. Electron. Commun. Comput. Sci.

Publications

Tomohiro Kaizu, Yoshinao Isobe, Masato Suzuki
Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2013)
Tomohiro Kaizu, Tomoya Noro, Takehiro Tokuda
A state propagation method for consistency checking of web service function invocations in web applications. ICWE Workshops (2006)