conf.researchr.org / Kazuhiro Ogata
Not registered as user yet
Name:Kazuhiro Ogata
Affiliation:Japan Advanced Institute of Science and Technology
Contributions
FTSCS 2022 | Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track |
FormaliSE 2020 | PC Member in Program Committee within the FormaliSE 2020-track |