Login / Signup
Yuki Mizushima
ORCID
Publication Activity (10 Years)
Years Active: 2010-2021
Publications (10 Years): 1
Top Topics
Photorealistic
Calibration Method
Fiber Optic
Focal Length
Top Venues
IEEE Trans. Instrum. Meas.
</>
Publications
</>
Yuki Mizushima
A New Ray-Tracing-Assisted Calibration Method of a Fiber-Optic Thickness Probe for Measuring Liquid Film Flows.
IEEE Trans. Instrum. Meas.
70 (2021)
Weiqiang Kong
,
Tomohiro Shiraishi
,
Yuki Mizushima
,
Noriyuki Katahira
,
Akira Fukuda
,
Masahiko Watanabe
An SMT Approach to Bounded Model Checking of Design in State Transition Matrix.
ICCSA Workshops
(2010)
Tomohiro Shiraishi
,
Weiqiang Kong
,
Yuki Mizushima
,
Noriyuki Katahira
,
Michihiro Matsumoto
,
Masahiko Watanabe
,
Tetsuro Katayama
,
Akira Fukuda
Model Checking of Software Design in State Transition Matrix.
Software Engineering Research and Practice
(2010)