Logic Visualization Algorithm in System Specifications as Companion Tool for System Designing and Testing.

Noriyuki Kushiro, Yusuke Aoyama

Browse the full KES paper archive.