Toshinori Takai

Registered user since Sat 24 Oct 2020

Name:Toshinori Takai
Country:Japan
Affiliation:Nara Institute of Science and Technology

Contributions

ITEQS 2020 Author of Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking within the ITEQS 2020-track