Room 206 (2nd floor, badged access)
25 January 2019 - 14h00
Application of Abstract Interpretation to the Automotive Electronic Control System
by Tom Yamaguchi from TOYOTA
Abstract: Application of Abstract Interpretation to the Automotive Electronic Control System
