ICST 2024
Mon 27 - Fri 31 May 2024 Canada
Zhenya Zhang

Registered user since Tue 22 Sep 2020

Name:Zhenya Zhang
Country:Japan
Affiliation:Kyushu University, Japan
Research interests:Formal methods, Hybrid system falsification, Temporal logic, Runtime verification

Contributions

Show activities from other conferences

ICST 2024-profile
View general profile