Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification. - Tetsuro Katayama; Kenta Nishikawa; Yoshihiro Kita; Hisaaki Yamaba; Naonobu Okazaki (J. Robotics Netw. Artif. Life, 2014)

Prototype of a Decision Table Generation Tool from the Formal Specification. - Tetsuro Katayama; Kenta Nishikawa; Yoshihiro Kita; Hisaaki Yamaba; Kentaro Aburada; Naonobu Okazaki (J. Robotics Netw. Artif. Life, 2015)