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