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