Not registered as user yet

Name:Mitsuaki Tsuji
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