Kazuki Kakimoto - TAIC PART 2020

Sat 24 Oct 2020 Porto, Portugal

co-located with ICST 2020

Not registered as user yet

Name:Kazuki Kakimoto

Country:Japan

Affiliation:Nara Institute of Science and Technology

Contributions

2020

ITEQS

Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking

Show activities from other conferences

ICST 2020-profile
View general profile