Intelligible description language and its rapid verification method for design support of distributed sequential control systems.

Takaaki Nakasiba, Akitsugu Tsuchiya, Yoshitomo Ikkai, Norihisa Komoda, Yasuo Namioka

Browse the full ETFA paper archive.