ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
Toshiaki Aoki

Registered user since Thu 20 Jun 2019

Name:Toshiaki Aoki
Research interests:Formal Methods, Formal Verification, Formal Specification, Model Checking, Theorem Proving, Testing, Automotive System, Autonomous Driving, Safety Critical Systems


ISSTA 2019 Model Checking of Automotive
SPIN 2019 Conformance Testing of Schedulers for DSL-based Model Checking
Show activities from other conferences

ISSTA 2019-profile
View general profile