Noriyuki Kushiro, Yusuke Aoyama. Logic Visualization Algorithm in System Specifications as Companion Tool for System Designing and Testing. In Matteo Cristani, Carlos Toro 0001, Cecilia Zanni-Merk, Robert J. Howlett, Lakhmi C. Jain, editors, Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, Virtual Event, 16-18 September 2020. Volume 176 of Procedia Computer Science, pages 1873-1882, Elsevier, 2020. [doi]
Abstract is missing.