Login / Signup
Tomohiro Oda
ORCID
Publication Activity (10 Years)
Years Active: 1993-2023
Publications (10 Years): 9
Top Topics
Bias Correction
Lightweight
Satellite Data
Formal Methods
Top Venues
CoRR
IEICE Trans. Inf. Syst.
FormaliSE@ICSE
FM Workshops (2)
</>
Publications
</>