Isao Naka

Publication Activity (10 Years)

Years Active: 2003-2003
Publications (10 Years): 0

Publications

Tomoya Kitani, Yoshifumi Takamoto, Isao Naka, Keiichi Yasumoto, Akio Nakata, Teruo Higashino
Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking. FPL (2003)