Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kazuhiro Ogata
conf.researchr.org general profile
ICSE 2020 profile
SPLASH 2022 profile
SPLASH 2023 profile
Not registered as user yet
Name:
Kazuhiro Ogata
Affiliation:
Japan Advanced Institute of Science and Technology
Contributions
2023
FTSCS
Committee Member in Program Committee within the FTSCS 2023-track
2022
FTSCS
Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
2020
FormaliSE
PC Member in Program Committee within the FormaliSE 2020-track
Share
x
Tue 3 Dec 18:36