Registered user since Sat 24 Oct 2020
Name:Toshinori Takai
Country:Japan
Affiliation:Nara Institute of Science and Technology
Contributions
| ITEQS 2020 | Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICST 2020-profile
View general profile
View general profile