loader image

Test Solutions for Simulink Models & Production Code

Products

Test Solutions for Simulink Models & Production Code

29. SafeTRANS Industrial Day

BTC Embedded Systems and dSPACE are present at the 24th SafeTRANS Industrial Day and will give a joint talk about the challenges for the validation and homologation of autonomous vehicles.

Industry Day of Formal Methods 2021 Conference

As part of the Industry Day, our CEO Dr. Udo Brockmeyer will present a paper about “Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems”, in which he will share our experience with variuos applications of formal methods with our industrial partners and customers.