Not registered as user yet

Name: Kazuki Kakimoto

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