Jo Otsuka

Publication Activity (10 Years)

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

Top Topics

Formal Specification

Top Venues

Publications

Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki
A Bounded Model Checker for Timed Automata and Its Application to LTL Properties. KES (2022)