A Visual Modeling Environment for the nuXmv Model Checker Intended for Novice Users
Kazuma Toyota, Tomoyuki Yokogawa, S. Amasaki, Hirohisa Aman +1 more
2022IIAI International Conference on Advanced Applied Informatics0 citations
Semantic Scholar
Researcher profile · Semantic Scholar
Kazuma Toyota, Tomoyuki Yokogawa, S. Amasaki, Hirohisa Aman +1 more
T. Otsuhata, Kazuma Toyota, Chika Hirabaru, Moe Fukuoka +1 more