Tomohiro Kaizu

According to our database1, Tomohiro Kaizu authored at least 2 papers between 2006 and 2013.

Collaborative distances:

Timeline

2006
2007
2008
2009
2010
2011
2012
2013
0
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

2006
A state propagation method for consistency checking of web service function invocations in web applications.
Proceedings of the Workshop Proceedings of the 6th International Conference on Web Engineering, 2006


  Loading...