Kouhei Fujimori

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Deterministic Finite Automaton

Automated Verification

Reactive Systems

Top Venues

Publications

Yojiro Harie, Yuta Mitsui, Kouhei Fujimori, Amit Batajoo, Katsumi Wasaki
HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool. GCCE (2017)