Kei Homma

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi
Modeling Web Applications Design with Automata and Its Verification. ISADS (2011)
Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi
Modeling, Verification and Testing of Web Applications Using Model Checker. IEICE Trans. Inf. Syst. (5) (2011)
Kei Homma, Satoru Izumi, Yuki Abe, Kaoru Takahashi, Atsushi Togashi
Using the Model Checker Spin for Web Application Design. SAINT (2010)