Kazuma Toyota, Tomoyuki Yokogawa, Sousuke Amasaki, Hirohisa Aman, Kazutami Arimoto. A Visual Modeling Environment for the nuXmv Model Checker Intended for Novice Users. In Tokuro Matsuo, Kunihiko Takamatsu, Yuichi Ono, editors, 12th International Congress on Advanced Applied Informatics, IIAI-AAI 2022, Kanazawa, Japan, July 2-8, 2022. pages 684-685, IEEE, 2022. [doi]
@inproceedings{ToyotaYAAA22,
title = {A Visual Modeling Environment for the nuXmv Model Checker Intended for Novice Users},
author = {Kazuma Toyota and Tomoyuki Yokogawa and Sousuke Amasaki and Hirohisa Aman and Kazutami Arimoto},
year = {2022},
doi = {10.1109/IIAIAAI55812.2022.00142},
url = {https://doi.org/10.1109/IIAIAAI55812.2022.00142},
researchr = {https://researchr.org/publication/ToyotaYAAA22},
cites = {0},
citedby = {0},
pages = {684-685},
booktitle = {12th International Congress on Advanced Applied Informatics, IIAI-AAI 2022, Kanazawa, Japan, July 2-8, 2022},
editor = {Tokuro Matsuo and Kunihiko Takamatsu and Yuichi Ono},
publisher = {IEEE},
isbn = {978-1-6654-9755-8},
}