Yosuke Mutsuda

Publication Activity (10 Years)

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

Publications

Yosuke Mutsuda, Takaaki Kato, Satoshi Yamane
Symbolic Reachability Analysis of Probabilistic Linear Hybrid Automata. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (11) (2005)
Yosuke Mutsuda, Takaaki Kato, Satoshi Yamane
Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata. ICESS (2005)