Kei Homma

According to our database, Kei Homma authored at least 3 papers between 2010 and 2011.

Collaborative distances:

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

2011

Modeling, Verification and Testing of Web Applications Using Model Checker.

Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi

IEICE Trans. Inf. Syst., 2011

Modeling Web Applications Design with Automata and Its Verification.

Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi

Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

2010

Using the Model Checker Spin for Web Application Design.

Kei Homma, Satoru Izumi, Yuki Abe, Kaoru Takahashi, Atsushi Togashi

Proceedings of the Tenth Annual International Symposium on Applications and the Internet, 2010