Kazuma Toyota

According to our database, Kazuma Toyota authored at least 1 paper in 2022.

Collaborative distances:

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

2022

A Visual Modeling Environment for the nuXmv Model Checker Intended for Novice Users.

Kazuma Toyota, Tomoyuki Yokogawa, Sousuke Amasaki, Hirohisa Aman, Kazutami Arimoto

Proceedings of the 12th International Congress on Advanced Applied Informatics, 2022